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!

Be the first to leave a comment!