Experiences using statecharts for a system requirements specification

N. G. Leveson; M. Heimdahl; H. Hildreth; J. Reese; R. Ortega

doi:10.1109/iwssd.1991.213079

Experiences using statecharts for a system requirements specification

N. G. Leveson
, M. Heimdahl
, H. Hildreth
, J. Reese
, R. Ortega

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

8 Scopus citations

Abstract

This paper describes some lessons learned and issues raised while building a system requirements specification for a real aircraft collision avoidance system using slatecharts. Some enhancements to statecharts were necessary to model the complete system and a few notaltonal changes were made to improve reviewability.

Original language	English (US)
Title of host publication	IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design
Publisher	Association for Computing Machinery, Inc
Pages	31-41
Number of pages	11
ISBN (Print)	0818623209, 9780818623202
DOIs	https://doi.org/10.1109/iwssd.1991.213079
State	Published - Oct 25 1991
Externally published	Yes
Event	6th International Workshop on Software Specification and Design, IWSSD 1991 - Como, Italy Duration: Oct 25 1991 → …

Publication series

Name	IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design

Conference

Conference	6th International Workshop on Software Specification and Design, IWSSD 1991
Country/Territory	Italy
City	Como
Period	10/25/91 → …

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 3 Good Health and Well-being

Publisher link

10.1109/iwssd.1991.213079

Find It

Find It at U of M Libraries

Cite this

Leveson, N. G., Heimdahl, M., Hildreth, H., Reese, J., & Ortega, R. (1991). Experiences using statecharts for a system requirements specification. In IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design (pp. 31-41). (IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design). Association for Computing Machinery, Inc. https://doi.org/10.1109/iwssd.1991.213079

Experiences using statecharts for a system requirements specification. / Leveson, N. G.; Heimdahl, M.; Hildreth, H. et al.
IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design. Association for Computing Machinery, Inc, 1991. p. 31-41 (IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Leveson, NG, Heimdahl, M, Hildreth, H, Reese, J & Ortega, R 1991, Experiences using statecharts for a system requirements specification. in IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design. IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design, Association for Computing Machinery, Inc, pp. 31-41, 6th International Workshop on Software Specification and Design, IWSSD 1991, Como, Italy, 10/25/91. https://doi.org/10.1109/iwssd.1991.213079

Leveson NG, Heimdahl M, Hildreth H, Reese J, Ortega R. Experiences using statecharts for a system requirements specification. In IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design. Association for Computing Machinery, Inc. 1991. p. 31-41. (IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design). doi: 10.1109/iwssd.1991.213079

Leveson, N. G. ; Heimdahl, M. ; Hildreth, H. et al. / Experiences using statecharts for a system requirements specification. IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design. Association for Computing Machinery, Inc, 1991. pp. 31-41 (IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design).

@inproceedings{4effa544f4a5432c8aa1e4e081cd415f,

title = "Experiences using statecharts for a system requirements specification",

abstract = "This paper describes some lessons learned and issues raised while building a system requirements specification for a real aircraft collision avoidance system using slatecharts. Some enhancements to statecharts were necessary to model the complete system and a few notaltonal changes were made to improve reviewability.",

author = "Leveson, \{N. G.\} and M. Heimdahl and H. Hildreth and J. Reese and R. Ortega",

year = "1991",

month = oct,

day = "25",

doi = "10.1109/iwssd.1991.213079",

language = "English (US)",

isbn = "0818623209",

series = "IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design",

publisher = "Association for Computing Machinery, Inc",

pages = "31--41",

booktitle = "IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design",

note = "6th International Workshop on Software Specification and Design, IWSSD 1991 ; Conference date: 25-10-1991",

}

TY - GEN

T1 - Experiences using statecharts for a system requirements specification

AU - Leveson, N. G.

AU - Heimdahl, M.

AU - Hildreth, H.

AU - Reese, J.

AU - Ortega, R.

PY - 1991/10/25

Y1 - 1991/10/25

N2 - This paper describes some lessons learned and issues raised while building a system requirements specification for a real aircraft collision avoidance system using slatecharts. Some enhancements to statecharts were necessary to model the complete system and a few notaltonal changes were made to improve reviewability.

AB - This paper describes some lessons learned and issues raised while building a system requirements specification for a real aircraft collision avoidance system using slatecharts. Some enhancements to statecharts were necessary to model the complete system and a few notaltonal changes were made to improve reviewability.

UR - https://www.scopus.com/pages/publications/84911316725

UR - https://www.scopus.com/pages/publications/84911316725#tab=citedBy

U2 - 10.1109/iwssd.1991.213079

DO - 10.1109/iwssd.1991.213079

M3 - Conference contribution

AN - SCOPUS:84911316725

SN - 0818623209

SN - 9780818623202

T3 - IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design

SP - 31

EP - 41

BT - IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design

PB - Association for Computing Machinery, Inc

T2 - 6th International Workshop on Software Specification and Design, IWSSD 1991

Y2 - 25 October 1991

ER -

Experiences using statecharts for a system requirements specification

Abstract

Publication series

Conference

UN SDGs

Publisher link

Find It

Other files and links

Fingerprint

Cite this