Abstract | ||
---|---|---|
Although validation of complex dynamic systems can be realised using checklists and simulations provided by tools such as Simulink, these techniques usually do not cover all system behaviours. Moreover, the control laws are rarely modelled together with the system architecture. This integration can reveal defects which are only detected in final stages of the development. This work presents two major contributions: a strategy to validate the integration of a proposed architecture with control laws, based on the CSP process algebra; and the validation of a Fly-by-wire Elevator Control System designed by Embraer. The results show that the strategy helps finding defects in early stages of the development, saving time and costs. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/978-3-642-24559-6_23 | ICFEM |
Keywords | Field | DocType |
architectural verification,system behaviour,control law,control system,early stage,fly-by-wire elevator control system,system architecture,major contribution,complex dynamic system,csp process algebra,final stage,proposed architecture | Architecture,Model checking,Computer science,Complex dynamic systems,Real-time computing,Elevator control system,Control system,Systems architecture,Process calculus | Conference |
Volume | ISSN | Citations |
6991 | 0302-9743 | 5 |
PageRank | References | Authors |
0.48 | 10 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Joabe Jesus | 1 | 13 | 1.01 |
Alexandre Cabral Mota | 2 | 199 | 18.27 |
Augusto Sampaio | 3 | 501 | 43.38 |
Luiz Grijo | 4 | 5 | 0.48 |