Architectural Verification of Control Systems Using CSP

Autor:	Alexandre Mota, Luiz Grijo, Joabe Jesus, Augusto Sampaio
Rok vydání:	2011
Předmět:	Model checking Computer science Complex dynamic systems Process calculus Control system Real-time computing Control (management) Systems architecture Control engineering Architecture
Zdroj:	Formal Methods and Software Engineering ISBN: 9783642245589 ICFEM
DOI:	10.1007/978-3-642-24559-6_23
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::f2514b927cfab40fc51a945508f14666 https://doi.org/10.1007/978-3-642-24559-6_23 Zobrazit plný text záznamu