Integrating the 3+1 SysML view model with safety engineering

Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2010

Volumn , Issue , 2010, Pages

  Thramboulidis, Kleanthis ^a   Scholz, Sven ^b  

^a UNIVERSITY OF PATRAS   (Greece)

^b DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DEVELOPMENT PROCESS; ESSENTIAL USE CASE; MECHATRONIC SYSTEMS; PRELIMINARY HAZARD ANALYSIS; REQUIREMENTS SPECIFICATIONS; SAFETY ENGINEER; SAFETY-AWARE; SYSTEM DEVELOPERS; SYSTEM SAFETY; V-MODEL;

FACTORY AUTOMATION; MECHATRONICS; RAILROAD ACCIDENTS;

SAFETY ENGINEERING;

EID: 78650528197     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2010.5641353     Document Type: Conference Paper

References (18)

1. Thramboulidis, K., "?he Function Block Model in Embedded Control and Automation: From IEC61131 to IEC61499", WSEAS transactions on computer, Issue 9, Volume 8, September 2009.
2. International Electrotechnical Commission (IEC), IEC 61508 - Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems, December 1998
3. European Committee for Electrotechnical Standardisation (CENELEC), EN 50128:2001 - Railway Applications: Software for Railway Control and Protection Systems
4. International Electrotechnical Commission (IEC), IEC 62227 Railway Applications Automated Urban Guided Transport (AUGT) Safety Requirements, IEC 2006.
5. Douglas "Build Safety-Critical Designs with UML-based Fault Tree Analysis", Embeddeed.com, Available on-line: http://www.embedded.com/ design/217200222
6. Shourong Lu, W. A. Halang, "A UML Profile to Model Safety-Critical Embedded. Real-Time Control Systems", Contributions to Ubiquitous Computing, Volume 42/2007, pp. 197-218.
7. Thramboulidis, K., "IEC61499 Function Block Model: Facts and Fallacies", IEEE Industrial Electronics Magazine vol. 3, issue 4, December 2009, pp. 7-26.
8. th IEEE Inter. Conf. on Industrial Informatics, 13-16th July, Osaka, 2010.
9. Thramboulidis, K., "The 3+1 SysML View-Model in Model Integrated Mechatronics", Journal of Software Engineering and Applications (JSEA), vol.3, no.2, 2010, pp.109-118.
10. Allenby, K. Kelly, T. "Deriving safety requirements using scenarios", Proceedings. Fifth IEEE International Symposium on Requirements Engineering, 2001, pp 228-235.
11. Thramboulidis, K., "Model Integrated Mechatronics - Towards a new Paradigm in the Development of Manufacturing Systems" IEEE Transactions on Industrial Informatics, vol. 1, No. 1. February 2005.
12. Bernardi, S. and Merseguer, J. "A UML profile for dependability analysis of real-time embedded systems", 6th international Workshop on Software and Performance, Buenes Aires, Argentina, February 05 - 08, 2007. (WOSP '07) ACM, New York, NY, 115-124.
13. A. Le Guennec, B. Dion, "Bridging UML and safety-critical software development environments", Int. Conf. on Embedded and Real-Time Software, ERTS, 2006.
14. Zoughbi, G., L. Briand and Y. Labiche, "A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software", Model Driven Engineering Languages and Systems, Volume 4735/2007, pp. 574-588.
15. Schreiber, S. Schmidberger, T. Fay, A. May, J. Drewes, J. Schnieder, E. H.Schmidt, "UML-based safety analysis of distributed automation systems", IEEE Conference on Emerging Technologies and Factory Automation, ETFA 2007, 25-28 Sept. 2007, pp: 1069-1075
16. Constantine, L., "Activity Modeling: Toward a Pragmatic Integration of Activity Theory with Usage-Centered Design", Technical Paper, Available on-line: http://www.foruse.com/articles/activitymodeling.pdf
17. Cancila, D.; Terrier, F.; Belmonte, F. et al., "SOPHIA: a Modeling Language for Model-Based Safety Engineering", MoDELS'09, ACESMB Workshop Proceedings, Denver 2009, pp 11-25.
18. Scholz, S., Thramboulidis, K., "Integrating SysML-based System Modeling with Safety Engineering", Design Automation and Test in Europe (DATE), Workshop on Model Based Engineering for Embedded Systems Design, 8-12 March, 2010, Dresden, Germany, pp. 1-8.