6,880 research outputs found
Collaborative Verification-Driven Engineering of Hybrid Systems
Hybrid systems with both discrete and continuous dynamics are an important
model for real-world cyber-physical systems. The key challenge is to ensure
their correct functioning w.r.t. safety requirements. Promising techniques to
ensure safety seem to be model-driven engineering to develop hybrid systems in
a well-defined and traceable manner, and formal verification to prove their
correctness. Their combination forms the vision of verification-driven
engineering. Often, hybrid systems are rather complex in that they require
expertise from many domains (e.g., robotics, control systems, computer science,
software engineering, and mechanical engineering). Moreover, despite the
remarkable progress in automating formal verification of hybrid systems, the
construction of proofs of complex systems often requires nontrivial human
guidance, since hybrid systems verification tools solve undecidable problems.
It is, thus, not uncommon for development and verification teams to consist of
many players with diverse expertise. This paper introduces a
verification-driven engineering toolset that extends our previous work on
hybrid and arithmetic verification with tools for (i) graphical (UML) and
textual modeling of hybrid systems, (ii) exchanging and comparing models and
proofs, and (iii) managing verification tasks. This toolset makes it easier to
tackle large-scale verification tasks
A realization model to develop the autopilot system of ships by specializing MDA
This paper presents a method which is based on the Model-Driven Architecture (MDA) and functional blocks to realize effectively the autopilot systems of ships. It brings out an executable MDA process to cover completely the requirement analysis, design and deployment phases of these systems. This process also allows the determined design elements to be customizable and re-usable in the new applications of controlled ship steering systems. The paper indicates straightforwardly the ship dynamic model-to-be used, the Computation Independent Model (CIM) of a ship autopilot system, the Platform Independent Model (PIM) of this system by using the Real-Time Unified Modeling Language (UML), and its Platform Specific Model (PSM) implemented by the functional blocks. Furthermore, the important transformation rules are also brought out and applied to convert the identified PIM into PSM for implementing quickly this system with different industrial frameworks such as the IEC61499 in a programmable controller. Then, its deployment model completely is tested on a model ship with the predetermined program and control performance
Supervisory Control Systems: Theory and Industrial Applications
Hybrid control system is an exciting field of research where it contains two distinct types of systems: one with continuous dynamics continuous variable dynamic system and the other with discrete dynamics discrete event dynamic system, that interact with each other. The research in the area of hybrid control can be categorized into two areas: one deals with the conventional control systems, and the other deals with the decision making systems. The former addresses the control functions at the low level (field level). The latter addresses the modeling, analysis, and design at the higher level found in the supervision, coordination and management levels. The study of hybrid systems is central in designing intelligent hybrid control systems with high degree of autonomy and it is essential in designing discrete event supervisory controllers for continuous systems
- …