Search: onr:"swepub:oai:DiVA.org:hh-38733" >
Simulation of hybri...
Simulation of hybrid systems from natural-language requirements
-
- Oliveira, Bruno (author)
- Universidade Federal de Pernambuco, Centro de Informática, Brazil
-
- Carvalho, Gustavo (author)
- Universidade Federal de Pernambuco, Centro de Informática, Brazil
-
- Mousavi, Mohammad Reza, 1978- (author)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)
-
show more...
-
- Sampaio, Augusto (author)
- Universidade Federal de Pernambuco, Centro de Informática, Brazil
-
show less...
-
(creator_code:org_t)
- Piscataway, NJ : IEEE Computer Society, 2018
- 2018
- English.
-
In: 2017 13th IEEE Conference on Automation Science and Engineering (CASE). - Piscataway, NJ : IEEE Computer Society. - 9781509067817 - 9781509067800 - 9781509067824 ; , s. 1320-1325
- Related links:
-
https://urn.kb.se/re...
-
show more...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- 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. © 2017 IEEE.
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
Keyword
- Acumen
- controlled natural language
- data-flow reactive system
- Hybrid systems
- NAT2TEST
- simulation
- Cyber Physical System
- Data flow analysis
- Data transfer
- DC-DC converters
- Embedded systems
- Natural language processing systems
- Semantics
- Specifications
- Reactive system
- Computer simulation languages
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
To the university's database