Modeling and rapid prototyping of avionics using STATEMATE

Romdhani, M.; Jeffroy, A.; Chazelles, P. de; Sahraoui, Abd‐El‐Kader; Jerraya, Ahmed

doi:10.1109/iwrsp.1995.518572

Cited by 10 publications

(2 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Statemate was used to building models of aviation electronic products and VP verification by M. Romdhanic etc. in France [7] . Formal methods applied in design and verification FCS [8], and trajectory planning and complex of autonomous flight of unmanned helicopter were developed by Koo etc.…”

Section: Introductionmentioning

confidence: 99%

Study on virtual prototype for complex system

Dong¹,

Nie²

2016

Proceedings of the 2016 International Conference on Advanced Electronic Science and Technology (AEST 2016)

View full text Add to dashboard Cite

Abstract. In order to shorten the design period, and to reduce the cost of unmanned aerial vehicle system design, the design method of complex systems by using virtual prototype technology is studied. Firstly, the design environments of complex system which construct of Rhapsody, Matlab/Simulink, Oracle and VC + +. Secondly, a detailed design process of complex system based on model-driven development was researched. Finally, taking FCS of UAVS for example, a complex system was designed. The simulation results demonstrate that the complex system is feasible, stable, and it can simulate FCS from the architecture, function, behavior, performance and other aspects; support complex software model-driven development; improve the efficiency of the UAVS design.

show abstract

Section: Introductionmentioning

confidence: 99%

Study on virtual prototype for complex system

Dong¹,

Nie²

2016

Proceedings of the 2016 International Conference on Advanced Electronic Science and Technology (AEST 2016)

View full text Add to dashboard Cite

show abstract

“…Most existing medical best practice guidelines in hospital handbooks are represented by flowcharts [19] which are very similar to statecharts [20], so are many medical disease models and treatment models. In addition to the high similarities between medical models and statecharts, statecharts are executable and have become a widely used model in designing complex systems, such as avionics [21], air traffic control systems [22], and medical systems [7], [23], [16]. These distinguishing features of statecharts have inspired us to use it as a computerized representation for medical best practice guidelines.…”

Section: Introduction and Related Workmentioning

confidence: 99%

Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts

Guo¹,

Fu²,

Zhang³

et al. 2019

IEEE Internet Things J.

View full text Add to dashboard Cite

Improving patient care safety is an ultimate objective for medical cyber-physical systems. A recent study shows that the patients' death rate can be significantly reduced by computerizing medical best practice guidelines. To facilitate the development of computerized medical best practice guidelines, statecharts are often used as a modeling tool because of their high resemblances to disease and treatment models and their capabilities to provide rapid prototyping and simulation for clinical validations. However, some implementations of statecharts, such as Yakindu statecharts, are priority-based and have synchronous execution semantics which makes it difficult to model certain functionalities that are essential in modeling medical guidelines, such as two-way communications and configurable execution orders. Rather than introducing new statechart elements or changing the statechart implementation's underline semantics, we use existing basic statechart elements to design model patterns for the commonly occurring issues. In particular, we show the design of model patterns for two-way communications and configurable execution orders and formally prove the correctness of these model patterns. We further use a simplified airway laser surgery scenario as a case study to demonstrate how the developed model patterns address the two-way communication and configurable execution order issues and their impact on validation and verification of medical safety properties.

show abstract