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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:IEEE transactions on software engineering Ročník 51; číslo 3; s. 762 - 767
Hlavní autoři: Heimdahl, Mats P. E., Leveson, Nancy G.
Médium: Journal Article
Jazyk:angličtina
Vydáno: New York IEEE 01.03.2025
IEEE Computer Society
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Bibliografie: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