• 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