SwePub
Sök i LIBRIS databas

  Utökad sökning

WFRF:(Rodriguez Navas Guillermo)
 

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

  • BokEngelska2017

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

Till lärosätets databas

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy