DocumentCode
1546355
Title
Model-integrated computing
Author
Sztipanovits, Janos ; Karsai, Gabor
Author_Institution
Vanderbilt Univ., Nashville, TN, USA
Volume
30
Issue
4
fYear
1997
fDate
4/1/1997 12:00:00 AM
Firstpage
110
Lastpage
111
Abstract
Computers now control many critical systems in our lives, from the brakes on our cars to the avionics control systems on planes. Such computers wed physical systems to software, tightly integrating the two and generating complex component interactions unknown in earlier systems. Thus, it is imperative that we construct software and its associated physical system so they can evolve together. The paper discusses one approach that accomplishes this called model-integrated computing. This works by extending the scope and use of models. It starts by defining the computational processes that a system must perform and develops models that become the backbone for the development of computer-based systems. In this approach, integrated, multiple-view models capture information relevant to the system under design. The paper considers the Multigraph Architecture framework for model-integrated computing developed at Vanderbilt´s Measurement and Computing Systems Laboratory
Keywords
computer aided software engineering; computerised control; formal specification; systems analysis; Measurement and Computing Systems Laboratory; Multigraph Architecture framework; Vanderbilt; avionics control systems; cars; component interactions; computational process; computer-based systems development; computerised control; critical systems; model-integrated computing; multiple-view models; specification; system design; Application software; Contacts; Electrical engineering computing; Formal specifications; Kernel; Laboratories; Software design; Software tools; Systems engineering and theory; Visual databases;
fLanguage
English
Journal_Title
Computer
Publisher
ieee
ISSN
0018-9162
Type
jour
DOI
10.1109/2.585163
Filename
585163
Link To Document