AuthorsN. E. Holt, B. C. D. Anda, K. Asskildt, L. Briand, J. Endresen and S. Frøystein
EditorsS. H. Houmb, G. Georg, R. France, D. C. Petriu and J. Jürjens
TitleExperiences With Precise State Modeling in an Industrial Safety Critical System
AfilliationSoftware Engineering, Software Engineering
StatusPublished
Publication TypeProceedings, refereed
Year of Publication2006
Conference NameCritical Systems Development Using Modeling Lanuguages, CSDUML'06
Edition9th edition
Pagination68-77
Date PublishedOctober
PublisherSpringer
Abstract

The development of safety critical systems is a complex and challenging task. There are many claims regarding how precise modeling, either with the UML or other modeling notations, can yield benefits in terms of more rigorous specifications and designs. This paper reports on experiences from applying statechart-driven UML modeling in the development of a safety-critical system at ABB. The primary lessons learned from the study are related to the impact of precise modeling on the ease of transitioning to design.

Citation KeyHolt.2006.2