Paper Info
Title
Simulation Of Hybrid Systems From Natural-Language Requirements
Abstract
Cyber-physical systems are characterised by a massive and tight interaction between computer systems and physical components. Hybrid systems provide an abstraction for modelling cyber-physical systems by featuring the integration of discrete and continuous behavioural aspects. Simulation is an important tool for validating hybrid system models, which are often too complex to be treated using other validation and verification techniques. Motivated by the industrial need for such tools, we propose a strategy (h-NAT2TEST) for simulation of hybrid systems from natural-language requirements. Using the proposed approach, one writes the system specification using a controlled natural language, from which an informal semantics is automatically inferred based on the case grammar theory. Then, a formal representation is built considering a model of hybrid data-flow reactive systems (h-DFRS). Finally, in order to allow for rigorous simulation, an Acumen specification is derived from the h-DFRS model. Simulation is supported by the Acumen modelling environment. A DC-DC boost converter is used as a case study to illustrate the overall approach.
Year
Venue
Keywords
2017
2017 13TH IEEE CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE)
Hybrid systems, controlled natural language, data-flow reactive system, simulation, Acumen, NAT2TEST.
Field
DocType
ISSN
Controlled natural language,Programming language,Verification and validation,Computer science,Grammar,Natural language,System requirements specification,Reactive system,Hybrid system,Semantics
Conference
2161-8070
Citations 
PageRank 
References 
0
0.34
0
Authors
4
Name
Order
Citations
PageRank
Bruno Oliveira100.34
Gustavo Carvalho2486.13
MohammadReza Mousavi310710.08
Augusto Sampaio450143.38