Model-Based Systems Engineering and TCAS II: Thirty Years Later

Thirty years ago, when the TCAS II modeling effort was undertaken, the notion of model-based design and model-based systems engineering were new concepts. The TCAS II modeling effort demonstrated that creating a formal model of a complex system and doing so in collaboration with a diverse group of a...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on software engineering Jg. 51; H. 3; S. 762 - 767
Hauptverfasser: Heimdahl, Mats P. E., Leveson, Nancy G.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: New York IEEE 01.03.2025
IEEE Computer Society
Schlagworte:
Aircraft
Analytical models
Atmospheric modeling
Collaboration
Complex systems
Computational modeling
Computer based modeling
Context modeling
Cyber-physical systems
formal specifications
formal verification
Model-based systems
model-based systems engineering
Modeling
Modelling
requirements engineering
safety
Semantics
software engineering
software safety
Systems engineering
Systems engineering and theory
Usability
ISSN:0098-5589, 1939-3520
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Thirty years ago, when the TCAS II modeling effort was undertaken, the notion of model-based design and model-based systems engineering were new concepts. The TCAS II modeling effort demonstrated that creating a formal model of a complex system and doing so in collaboration with a diverse group of application experts was eminently feasible and laid the groundwork for future research. In this retrospective, we revisit the effort in the context of model-based systems engineering, summarize the most relevant lessons learned, and discuss the state of model-based techniques today and steps to the future.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0098-5589
1939-3520
DOI:10.1109/TSE.2025.3537537