|Authors||N. E. Holt, B. C. D. Anda, K. Asskildt, L. Briand, J. Endresen and S. Frøystein|
|Editors||S. H. Houmb, G. Georg, R. France, D. C. Petriu and J. Jürjens|
|Title||Experiences With Precise State Modeling in an Industrial Safety Critical System|
|Afilliation||Software Engineering, Software Engineering|
|Publication Type||Proceedings, refereed|
|Year of Publication||2006|
|Conference Name||Critical Systems Development Using Modeling Lanuguages, CSDUML'06|
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.