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 :
بازگشت