Component-Based Design of Software for Embedded Control Systems: The Medical Ventilator Case Study

2009 ◽  
Author(s):  
Feng Zhou ◽  
Wei Guan ◽  
Krzysztof Sierszecki ◽  
Christo Angelov
Keyword(s):  
Control Systems ◽  
Embedded Control ◽  
Embedded Control Systems

scholarly journals Safe design method of embedded control systems. Case study

2013 ◽  
Vol 47 (4-8) ◽  
pp. 403-421 ◽  
Author(s):  
Salam Hajjar ◽  
Emil Dumitrescu ◽  
Eric Niel
Keyword(s):  
Control Systems ◽  
Design Method ◽  
Embedded Control ◽  
Embedded Control Systems

scholarly journals A tool-assisted method for the systematic construction of critical embedded systems using Event-B

2020 ◽  
Vol 17 (1) ◽  
pp. 315-338
Author(s):  
Pascal André ◽  
Christian Attiogbé ◽  
Arnaud Lanoix
Keyword(s):  
Control Systems ◽  
Physical Environment ◽  
Tool Support ◽  
Abstract Model ◽  
Embedded Control ◽  
Embedded Control Systems ◽  
Complex Interactions ◽  
Abstract Level ◽  
General Method

Embedded control systems combine digital and physical components, leading to complex interactions and even complexity of their development. In [4] we proposed a method to build such complex systems in a systematic way. The overall method starts from an abstract model of the physical environment of the considered system and its controller. The method consists in a sequence of refinement steps, in the spirit of Event-B, that gradually introduces design details from an abstract level, until more concrete levels. Two main refinement processes are distinguished: one to capture the global model, the other to detail it; we provide through the method the guidelines to accompany these two refinement processes. But there were a lack of assistance tools. The designers need to be assisted by tools to guide them, to automate partially the refinements and to help in proving more easily model properties. We illustrate the method with the landing gear system case study and choosing the Event-B tool Rodin for illustration; we make it explicit the tools requirements for such a general method and, we introduce a tool support to assist the user in applying the method in combination with standard Event-B tool such as Rodin.

Hybrid Modeling and Verification of Embedded Control Systems

1997 ◽  
Vol 30 (4) ◽  
pp. 33-38
Author(s):  
Pieter J Mosterman ◽  
Gautam Biswas ◽  
Janos Sztipanovits
Keyword(s):  
Control Systems ◽  
Hybrid Modeling ◽  
Embedded Control ◽  
Embedded Control Systems

A real-time operating system supporting distributed shared memory for embedded control systems

2017 ◽  
Vol 22 (S1) ◽  
pp. 989-998
Author(s):  
Yuji Tamura ◽  
Truong Thi Doan ◽  
Takahiro Chiba ◽  
Myungryun Yoo ◽  
Takanori Yokoyama
Keyword(s):  
Operating System ◽  
Control Systems ◽  
Real Time ◽  
Shared Memory ◽  
Distributed Shared Memory ◽  
Embedded Control ◽  
Real Time Operating System ◽  
Embedded Control Systems

Battery- and Aging-Aware Embedded Control Systems for Electric Vehicles

2014 ◽  
Author(s):  
Wanli Chang ◽  
Alma Probstl ◽  
Dip Goswami ◽  
Majid Zamani ◽  
Samarjit Chakraborty
Keyword(s):  
Control Systems ◽  
Electric Vehicles ◽  
Embedded Control ◽  
Embedded Control Systems
Sign in / Sign up

Export Citation Format

Share Document