SOPHIA: A modeling language for model-based safety engineering

CEUR Workshop Proceedings

Volumn 507, Issue , 2009, Pages 11-25

  Cancila, Daniela ^a   Terrier, Francois ^a   Belmonte, Fabien ^b   Dubois, Hubert ^a   Espinoza, Huascar ^a   Gérard, Sébastien ^a   Cuccuru, Arnaud ^a  

^a DIF   (France)

^b ALSTOM   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEMENTARY MODELLING; MODEL BASED APPROACH; MODEL-BASED SAFETY ENGINEERINGS; MODEL-DRIVEN ENGINEERING; MODELLING LANGUAGE; SAFETY-CRITICAL EMBEDDED SYSTEMS; SYSTEM DEVELOPMENT PROCESS; SYSTEM MODELLING;

ACCIDENTS; MODELS;

EMBEDDED SYSTEMS;

EID: 84891447637     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (33)

1. AADL. Architecture Analysis & Design Language. www.aadl.info/aadl/ currentsite/index.html.
2. J. R. Abrial. The B-book: Assigning programs to meanings. Cambridge University Press, 1996.
3. Alstom. Guidance for safety analysis. MODTRAIN, MODCONTROL Sub-Project, 2008.
4. C. Andŕe. Time Modeling in MARTE. In FDL'07 Forum on specification and Design Languages, Barcelona, Spain, 2007.
5. ATESST Project. Advancing Traffic Efficiency and Safety through Software Tech- nology. ATESST STREP - FP6 project. http://www.atesst.org.
6. AUT SAR. Automotive Open System Architecture. www.autosar.org.
7. F. Belmonte. T1.1 guide de mod́elisation. Projet IMOFIS, Alstom Transport, System@tic, 2009.
8. A. Blas and J. L. Boulanger. Comment aḿeliorer les ḿethodes d'analyse de risques et l'allocation des THR, SIL et autres objectifs de śecurit́e. In Lambda-Mu, 16e Congr̀es de Mâitrise des Risques et de Ŝuret́e de Fonctionnement, Avignon, France, 2008.
9. S. Bliudze and J. Sifakis. The Algebra of Connectors - Structuring Interaction in BIP. In Int. Conf. EMSOFT, pages 11-20, 2007.
10. B.P. Douglass. Build Safety-Critical Designs with UML-based Fault Tree Analysis- Defining a Profile. www.embedded.com/design/opensource/217200312?pgno= 1.
11. CENELEC. EN-50126: Application ferroviaires -Sṕecification et d́emonstration de Fiabilit́e, Disponibilit́e, Maintenabilit́e et Śecurit́e (FMDS). Norme, CENELEC, 1999.
12. CENELEC. EN-50128: Applications ferroviaires - Syst̀eme de signalisation, de t́eĺecommunication et de traitement - Logiciels pour syst̀emes de commande et de protection ferroviaire. Norme, CENELEC, 2001.
13. CENELEC. EN-50129: Application ferroviaires - syst̀eme de signalisation, de t́eĺecommunication et de traitement - syst̀emes ́electroniques relatifs ̀a la śecurit́e pour la signalisation. Norme, CENELEC, 2001.
14. L. de Alfaro and T. A. Henzinger. Interface automata. In Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering, pages 109-120. ACM Press, 2001.
15. M. de Miguel, J. Briones, J. Silva, and A. Alonso. Integration of satety analysis in model-driven software development. 2008.
16. H. Espinoza, B. Selic, D. Cancila, and S. Ǵerard. Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems. In In Proc. of Int. Conf. on Model Driven-Architecture Foundations and Applications (ECMDA 09), volume 5562. LNCS, 2009.
17. P. Feiler and A. Rugina. Dependability Modeling with the Architecture Analysis & Design Language (AADL). Technical report, Software Engineering Institute, Carnegie Mellon, 2007.
18. B. Hamid, A. Radermacher, A. Lanusse, C. Jouvray, S. Gerard, and F. Terrier. De- signing fault-tolerant component based applications with a model driven approach. In IFIP Workshop on Software Technologies for Future Embedded and Ubiquitos Systems (SEUS 2008), Springer LNCS.
19. IEC. 61508:1998 and 2000, part 1 to 7. Functional Safety of Electrical, Electronic and Programmable Electronic Systems., 2000.
20. IMOFIS Project. Inǵenierie des MOd̀ele de FonctIons Śecuritaires. www.imofis.org/.
21. E. Jouenne and V. Normand. Tailoring IEEE 1471 for MDE Support. In UML Modeling Languages and Applications, LNCS, Springer, 2005.
22. N. Limnios. Fault trees. ISTE, 2007.
23. OMG. http://www.omg.org/.
24. OMG. Systems Modeling Language SysML. www.sysml.org.
25. OMG. UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, Beta 3. www.omgmarte.org.
26. OMG. UML Profile for Modeling Quality of Service and Fault Tolerance Charac- Teristics & Mechanisms (QoS & FT profile). www.omg.org.
27. OMG. Unified Modeling Language (UML) Specification: Infrastructure. Version 2.0. www.uml.org 2004.
28. OMG. UML Profile for Schedulability, Performance, and Time Specification. www.uml.org 2005.
29. F. Ougier and F. Terrier. ADONA: An open Integration Platform for Automative Systems Development Tools. In Euopean Congress Embedded real Time Software (ERTS), 2008.
30. D. Schmidt. Model-driven engineering. IEEE Computer, pages 25-31, February 2006.
31. B. Selic. From Model-Driven Development to Model-Driven Engineering. Keynote talk at ECRTS'07. http://feanor.sssup.it/ecrts07/keynotes/k1-selic.pdf.
32. F. Terrier and S. Gerard. MDE benefits for distributed, real-time and embedded systems. In From Model-Driven Design to Resource Management for Distributed Embedded Systems, IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), 2006.
33. Veryard Projects. Component-based Development FAQ. http://www.users. globalnet.co.uk/~rxv/CBDmain/cbdfaq.htmFebruary 2008.