hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Simulation of hybrid systems from natural-language requirements
Universidade Federal de Pernambuco, Centro de Informática, Brazil.
Universidade Federal de Pernambuco, Centro de Informática, Brazil.
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).ORCID iD: 0000-0002-4869-6794
Universidade Federal de Pernambuco, Centro de Informática, Brazil.
2018 (English)In: 2017 13th IEEE Conference on Automation Science and Engineering (CASE), Piscataway, NJ: IEEE Computer Society, 2018, p. 1320-1325Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Computer Society, 2018. p. 1320-1325
Series
IEEE International Conference on Automation Science and Engineering (CASE), E-ISSN 2161-8089
Keywords [en]
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
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:hh:diva-38733DOI: 10.1109/COASE.2017.8256284ISI: 000428014600218Scopus ID: 2-s2.0-85044928177ISBN: 978-1-5090-6781-7 (electronic)ISBN: 978-1-5090-6780-0 (electronic)ISBN: 978-1-5090-6782-4 (print)OAI: oai:DiVA.org:hh-38733DiVA, id: diva2:1276719
Conference
13th IEEE Conference on Automation Science and Engineering, CASE 2017, 20-23 August, 2017
Projects
Effective Model-Based Testing of Concurrent SystemsAUTO-CAAS HÖG
Funder
Swedish Research Council, 621-2014-5057Knowledge Foundation, 20140312ELLIIT - The Linköping‐Lund Initiative on IT and Mobile Communications
Note

Funding: 

The work of Bruno Oliveira, Gustavo Carvalho and Augusto Sampaio was partially supported by the CIn-UFPE/Motorola cooperation project, as well as CNPq grants 303022/2012-4 and 132332/2015-9.

The work of Mohammad Reza Mousavi has been supported by (Vetenskapsrådet) award number: 621-2014-5057 (Effective Model-Based Testing of Concurrent Systems), by the Swedish Knowledge Foundation (Stiftelsen for Kunskaps- och Kompetensutveckling) in the context of the AUTO-CAAS HOG project (number: 20140312), and by the ELLIIT Strategic Research Environment.

Available from: 2019-01-08 Created: 2019-01-08 Last updated: 2019-01-08Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Mousavi, Mohammad Reza

Search in DiVA

By author/editor
Mousavi, Mohammad Reza
By organisation
Centre for Research on Embedded Systems (CERES)
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 27 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf