The need for an integrated system-software co-engineering framework to support the design of modern space systems is pressing. The current tools and formalisms tend to be tailored to specific analysis techniques and are not amenable for the full spectrum of required system aspects such as safety, dependability and performability. Additionally, they cannot handle the intertwining of hardware and software interaction. As such, the current practices lack integration and coherence. We recently developed a coherent and multidisciplinary approach towards developing space systems at architectural design level, linking all of the aforementioned aspects, and assessed it with several industrial evaluations. This paper reports on the approach, the evaluations and our perspective on current and future developments. © 2011 IEEE.
System-software co-engineering: Dependability and safety perspective / Yushtein, Y.; Bozzano, M.; Cimatti, A.; Katoen, J. -P.; Nguyen, V. Y.; Noll, Th.; Olive, X.; Roveri, M.. - (2011), pp. 18-25. ( 4th IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2011 Palo Alto, CA, usa 2011) [10.1109/SMC-IT.2011.16].
System-software co-engineering: Dependability and safety perspective
Bozzano M.;Cimatti A.;Roveri M.
2011-01-01
Abstract
The need for an integrated system-software co-engineering framework to support the design of modern space systems is pressing. The current tools and formalisms tend to be tailored to specific analysis techniques and are not amenable for the full spectrum of required system aspects such as safety, dependability and performability. Additionally, they cannot handle the intertwining of hardware and software interaction. As such, the current practices lack integration and coherence. We recently developed a coherent and multidisciplinary approach towards developing space systems at architectural design level, linking all of the aforementioned aspects, and assessed it with several industrial evaluations. This paper reports on the approach, the evaluations and our perspective on current and future developments. © 2011 IEEE.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
