System architecture specification based on behavior models

Thumbnail Image
Files
Auguston_System_Architecture_2010.pdf (246.63 KB)
053_presentation.pdf (319.41 KB)
Authors
Auguston, Mikhail
Whitcomb, Clifford
Subjects
system and software architecture models
architecture verification
Advisors
Date of Issue
2010-06
Date
2010-06
Publisher
Language
Abstract
This paper suggests an approach to formal software and system architecture specification based on behavior models. The behavior of the system is defined as a set of events (event trace) with two basic relations: precedence and inclusion. The structure of event trace is specified using event grammars and other constraints organized into schemas. The framework provides high level abstractions for analyzing system behavior properties expressed as computations over event traces. The automated tools can support extracting of different views from the model, and verification of behavior properties within a given scope. Advantages of this approach compared with the common simulation tools are as follows.  Means to write assertions about the system behavior and tools to verify those assertions.  Exhaustive search through all possible scenarios (up to the scope limit). The small scope hypothesis states that most of errors can be demonstrated on small examples.  The support for verifiable refinement of the architecture model, up to design and implementation models.  Integration of the architecture models with environment models for defining typical scenarios (use cases) and verifying system's behavior for those scenarios.
Type
Conference Paper
Description
URI
https://hdl.handle.net/10945/36349
Series/Report No
Department
Computer Science (CS)
Organization
Naval Postgraduate School (U.S.)
Identifiers
NPS Report Number
Sponsors
Funder
Format
Citation
Proceedings of the 15th International Command and Control Research and Technology Symposium (ICCRTS ’10), Santa Monica, CA, June 22-24, 2010 Paper 053
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Collections
Publications