Sökning: WFRF:(Rodriguez Navas Guillermo)
> (2015-2019) >
Analyzing Industria...
-
Filipovikj, PredragMälardalens högskola,Inbyggda system
(författare)
Analyzing Industrial Simulink Models by Statistical Model Checking
Förlag, utgivningsår, omfång ...
-
Västerås, Sweden :Mälardalen Real-Time Research Centre, Mälardalen University,2017
-
printrdacarrier
Nummerbeteckningar
-
LIBRIS-ID:oai:DiVA.org:mdh-35069
-
https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-35069URI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:vet swepub-contenttype
-
Ämneskategori:rap swepub-publicationtype
Anmärkningar
-
The evolution of automotive systems has been rapid. Nowadays, electronic brains control dozens of functions in vehicles, like braking, cruising, etc. Model-based design approaches, in environments such as MATLAB Simulink, seem to help in addressing the ever-increasing need to enhance quality, and manage complexity, by supporting functional design from predefined block libraries, which can be simulated and analyzed for hidden errors, but also used for code generation. For this reason, providing assurance that Simulink models fulfill given functional and timing requirements is desirable. In this paper, we propose a pattern-based, execution-order preserving automatic transformation of Simulink atomic and composite blocks into stochastic timed automata that can then be analyzed formally with UPPAAL Statistical Model Checker (UPPPAAL SMC). Our method is supported by the tool SIMPPAAL, which we also introduce and apply on an industrial prototype called the Brake-by-Wire system. This work enables the formal analysis of industrial Simulink models, by automatically generating their semantic counterpart.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Mahmud, NesredinMälardalens högskola,Inbyggda system(Swepub:mdh)nmd02
(författare)
-
Marinescu, RalucaMälardalens högskola,Inbyggda system(Swepub:mdh)rmu01
(författare)
-
Rodriguez-Navas, GuillermoMälardalens högskola,Inbyggda system(Swepub:mdh)grs01
(författare)
-
Seceleanu, CristinaMälardalens högskola,Inbyggda system(Swepub:mdh)csu01
(författare)
-
Ljungkrantz, OscarVolvo Group Trucks Technology, Gothenburg, Sweden
(författare)
-
Lönn, HenrikVolvo Group Trucks Technology, Gothenburg, Sweden
(författare)
-
Mälardalens högskolaInbyggda system
(creator_code:org_t)
Internetlänk