This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2012 IEEE 17th International Conference on Engineering of Complex Computer Systems
A Case Study in Formal System Engineering with SysML
Paris, France France
July 18-July 20
ISBN: 978-1-4673-2156-3
In the development of complex critical systems, an important source of errors is the misinterpretation of system requirements allocated to the software, due to inadequate communication between system engineering teams and software teams. In response, organizations that develop such systems are searching for solutions allowing formal system engineering and system to software bridging, based on standard languages like SysML. As part of this effort, we have defined a formal profile for SysML (OMEGA SysML) and we have built a simulation and verification toolbox for this profile (IFx). This paper reports on the experience of modelling and validating an industry-grade system, the Solar Generation System (SGS) of the Automated Transfer Vehicle (ATV) built by Astrium, using IFx-OMEGA. The experience reveals what can currently be expected from such an approach and what are the weak points that should be addressed by future research and development.
Index Terms:
Software,Unified modeling language,Observers,Systems engineering and theory,Hardware,Clocks,Standards,abstraction,system engineering,modelling,SysML,simulation,model-checking,temporal properties
Citation:
Iulia Dragomir, Iulian Ober, David Lesens, "A Case Study in Formal System Engineering with SysML," iceccs, pp.189-198, 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, 2012
Usage of this product signifies your acceptance of the Terms of Use.