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

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering Vol. 51; no. 3; pp. 762 - 767
Main Authors: Heimdahl, Mats P. E., Leveson, Nancy G.
Format: Journal Article
Language:English
Published: New York IEEE 01.03.2025
IEEE Computer Society
Subjects:
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 Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography: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