About: Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA Goto Sponge NotDistinct Permalink

An Entity of Type : schema:ScholarlyArticle, within Data Space : covidontheweb.inria.fr associated with source document(s)

Attributes	Values
type	Academic Article research paper schema:ScholarlyArticle
isDefinedBy	Covid-on-the-Web dataset
has title	Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA
Creator	Arcaini, Paolo Bonfanti, Silvia Gargantini, Angelo Riccobene, Elvinia Scandurra, Patrizia
Source	PMC
abstract	In the context of automotive domain, modern control systems are software-intensive and have adaptive features to provide safety and comfort. These software-based features demand software engineering approaches and formal methods that are able to guarantee correct operation, since malfunctions may cause harm/damage. Adaptive Exterior Light and the Speed Control Systems are examples of software-intensive systems that equip modern cars. We have used the Abstract State Machines to model the behaviour of both control systems. Each model has been developed through model refinement, following the incremental way in which functional requirements are given. We used the ASMETA tool-set to support the simulation of the abstract models, their validation against the informal requirements, and the verification of behavioural properties. In this paper, we discuss our modelling, validation and verification strategies, and the results (in terms of features addressed and not) of our activities. In particular, we provide insights on how we addressed the adaptive features (the adaptive high beam headlights and the adaptive cruise control) by explicitly modelling their software control loops according to the MAPE-K (Monitor-Analyse-Plan-Execute over a shared Knowledge) reference control model for self-adaptive systems.
has issue date	2020-04-22(xsd:dateTime)
bibo:doi	10.1007/978-3-030-48077-6_25
has license	no-cc
sha1sum (hex)	630a61f863ed303d51816973cbddf79724336bcb
schema:url	https://doi.org/10.1007/978-3-030-48077-6_25
resource representing a document's title	Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA
has PubMed Central identifier	PMC7242031
schema:publication	Rigorous State-Based Methods
resource representing a document's body	covid:630a61f863ed303d51816973cbddf79724336bcb#body_text
is schema:about of	named entity 'addressed' named entity 'strategies' named entity 'provide' named entity 'Each' named entity 'cars' named entity 'reference' named entity 'System' named entity 'Adaptive' named entity 'FEATURES' named entity 'USING' named entity 'SYSTEM' named entity 'functional requirements' named entity 'headlights' named entity 'modern' named entity 'context' named entity 'control' named entity 'automotive' named entity 'abstract' named entity 'domain' named entity 'Speed' named entity 'functional requirements' named entity 'regression testing' named entity 'Computation Tree Logic' named entity 'adaptive cruise control' named entity 'C++' named entity '14.5' named entity 'speed limit' named entity 'feedback control' named entity 'Code 3' named entity 'self-adaptive software systems' named entity 'ASM' named entity 'logic' named entity 'rotary switch' named entity 'static analysis' named entity 'socalled' named entity 'syntax' named entity 'LTL' named entity 'Linear Temporal Logic' named entity 'ASM' named entity 'adaptive high beam' named entity 'semantics' named entity 'control loop' named entity 'continuous time' named entity 'time management' named entity 'cruise control' named entity 'ASM' named entity 'MAPE' named entity 'formal method' named entity 'cruise control' named entity 'MAPE' named entity 'Abstract State Machine' named entity 'MAPE' named entity 'ASM' named entity 'ASM' named entity 'ASM' named entity 'sub-systems' named entity 'ASM' named entity 'software programs' named entity 'ASM' named entity 'emergency brake' named entity 'model checking' named entity 'CTL' named entity 'pitman arm' named entity 'validation and verification' named entity 'knowledge base' named entity 'cornering light' named entity 'pitman arm' named entity 'continuous time' named entity 'adaptive high beam' named entity 'ASM' named entity 'modelling errors' named entity 'runtime verification' named entity 'parallel algorithms' named entity 'ASM' named entity 'model checker' named entity 'ASM' named entity 'complex systems' named entity 'ASM' named entity 'pitman arm'

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software