Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Distributed embedded control system design with verification support

Distributed embedded control system design with verification support The problem of integrating a method of formal model verification into the process of designing complex distributed software systems is considered. It is proposed to use a platform-independent model as the central object of the design. It is developed on the basis of a system core responsible for logical management of the entire system. The proposed approach makes it possible to increase the quality of the software and to guarantee the specification compliance. The proposed method is tested on a real control system of a vessel’s power supply. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Automatic Control and Computer Sciences Springer Journals

Distributed embedded control system design with verification support

Shoshmina, I.
Automatic Control and Computer Sciences , Volume 45 (7) – Jan 6, 2012
Download PDF
7 pages

Loading next page...
 
/lp/springer-journals/distributed-embedded-control-system-design-with-verification-support-d9vRzTKNQk
Publisher
Springer Journals
Copyright
Copyright © 2011 by Allerton Press, Inc.
Subject
Computer Science; Control Structures and Microprogramming
ISSN
0146-4116
eISSN
1558-108X
DOI
10.3103/S0146411611070145
Publisher site
See Article on Publisher Site

Abstract

The problem of integrating a method of formal model verification into the process of designing complex distributed software systems is considered. It is proposed to use a platform-independent model as the central object of the design. It is developed on the basis of a system core responsible for logical management of the entire system. The proposed approach makes it possible to increase the quality of the software and to guarantee the specification compliance. The proposed method is tested on a real control system of a vessel’s power supply.

Journal

Automatic Control and Computer Sciences – Springer Journals

Published: Jan 6, 2012

References

  • Model Checking. Verifikatsiya parallel’nykh i raspredelennykh programmnykh sistem
    Karpov, Yu.G.
  • Tekhnologiya XSLT
    Valikov, A.N.
  • Sistemy upravleniya i obrabotki informatsii
    Shalyto, A.A.; Tukkel’, N.I.
  • Automatic Generation of Tests for Graphic User Interface for UML Action Diagrams
    Kalinov, A.Ya.; Kosachev, A.S.; Posypkin, M.A.; Sokolov, A.A.