TY - GEN
T1 - An emerging need for a new software engineering method
AU - Perseil, Isabelle
AU - Pautet, Laurent
PY - 2009/1/1
Y1 - 2009/1/1
N2 - The strong convergence of recent modeling languages, development processes and methodologies for developing real-time systems underlines a set of requirements for a more methodical approach. This paper presents the issues related to the lack of method in the field of software engineering for real-time systems (in particular, avionic systems). We will mainly describe what converge in the new methodologies that are quite adopted but not implemented as methods. The Unified Process is analyzed and revisited in order to support the new types of requirements that we have identified to require the integration of formal methods, a proof-based system engineering approach in the first steps, and a refocusing on the model-driven development.
AB - The strong convergence of recent modeling languages, development processes and methodologies for developing real-time systems underlines a set of requirements for a more methodical approach. This paper presents the issues related to the lack of method in the field of software engineering for real-time systems (in particular, avionic systems). We will mainly describe what converge in the new methodologies that are quite adopted but not implemented as methods. The Unified Process is analyzed and revisited in order to support the new types of requirements that we have identified to require the integration of formal methods, a proof-based system engineering approach in the first steps, and a refocusing on the model-driven development.
U2 - 10.1109/ICECCS.2009.40
DO - 10.1109/ICECCS.2009.40
M3 - Conference contribution
AN - SCOPUS:70350059328
SN - 9780769537023
T3 - Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
SP - 359
EP - 364
BT - Proceedings - 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009
Y2 - 2 June 2009 through 4 June 2009
ER -