Matches in SemOpenAlex for { <https://semopenalex.org/work/W2342431457> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2342431457 abstract "Simulink is widely used for model driven development (MDD) of industrial software systems. Typically, the Simulink based development is initiated from Stateflow modeling, followed by simulation, validation and code generation mapped to physical execution platforms. However, recent industrial trends have raised the demands of rigorous verification on safety-critical applications, which is unfortunately challenging for Simulink. In this paper, we present an approach to bridge the Stateflow based model driven development and a well- defined rigorous verification. First, we develop a self- contained toolkit to translate Stateflow model into timed automata, where major advanced modeling features in Stateflow are supported. Taking advantage of the strong verification capability of Uppaal, we can not only find bugs in Stateflow models which are missed by Simulink Design Verifier, but also check more important temporal properties. Next, we customize a runtime verifier for the generated nonintrusive VHDL and C code of Stateflow model for monitoring. The major strength of the customization is the flexibility to collect and analyze runtime properties with a pure software monitor, which opens more opportunities for engineers to achieve high reliability of the target system compared with the traditional act that only relies on Simulink Polyspace. We incorporate these two parts into original Stateflow based MDD seamlessly. In this way, safety-critical properties are both verified at the model level, and at the consistent system implementation level with physical execution environment in consideration. We apply our approach on a train controller design, and the verified implementation is tested and deployed on a real hardware platform." @default.
- W2342431457 created "2016-06-24" @default.
- W2342431457 creator A5019708503 @default.
- W2342431457 creator A5044375826 @default.
- W2342431457 creator A5057476372 @default.
- W2342431457 creator A5060117799 @default.
- W2342431457 creator A5067032971 @default.
- W2342431457 creator A5068911982 @default.
- W2342431457 creator A5088526794 @default.
- W2342431457 date "2016-04-01" @default.
- W2342431457 modified "2023-09-26" @default.
- W2342431457 title "From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design" @default.
- W2342431457 cites W1515421996 @default.
- W2342431457 cites W1552908270 @default.
- W2342431457 cites W1589224558 @default.
- W2342431457 cites W1598652638 @default.
- W2342431457 cites W1610570299 @default.
- W2342431457 cites W1764347589 @default.
- W2342431457 cites W1863629953 @default.
- W2342431457 cites W1962072139 @default.
- W2342431457 cites W1995146104 @default.
- W2342431457 cites W2005416239 @default.
- W2342431457 cites W2047364513 @default.
- W2342431457 cites W2070785476 @default.
- W2342431457 cites W2101623441 @default.
- W2342431457 cites W2125415493 @default.
- W2342431457 cites W2141569384 @default.
- W2342431457 cites W2150124918 @default.
- W2342431457 cites W2150593762 @default.
- W2342431457 cites W2160146193 @default.
- W2342431457 cites W2162663474 @default.
- W2342431457 cites W2407184253 @default.
- W2342431457 cites W4230286696 @default.
- W2342431457 cites W4242915164 @default.
- W2342431457 cites W4253563042 @default.
- W2342431457 cites W4255324582 @default.
- W2342431457 cites W953200356 @default.
- W2342431457 doi "https://doi.org/10.1109/rtas.2016.7461337" @default.
- W2342431457 hasPublicationYear "2016" @default.
- W2342431457 type Work @default.
- W2342431457 sameAs 2342431457 @default.
- W2342431457 citedByCount "21" @default.
- W2342431457 countsByYear W23424314572016 @default.
- W2342431457 countsByYear W23424314572017 @default.
- W2342431457 countsByYear W23424314572018 @default.
- W2342431457 countsByYear W23424314572019 @default.
- W2342431457 countsByYear W23424314572020 @default.
- W2342431457 countsByYear W23424314572021 @default.
- W2342431457 countsByYear W23424314572022 @default.
- W2342431457 crossrefType "proceedings-article" @default.
- W2342431457 hasAuthorship W2342431457A5019708503 @default.
- W2342431457 hasAuthorship W2342431457A5044375826 @default.
- W2342431457 hasAuthorship W2342431457A5057476372 @default.
- W2342431457 hasAuthorship W2342431457A5060117799 @default.
- W2342431457 hasAuthorship W2342431457A5067032971 @default.
- W2342431457 hasAuthorship W2342431457A5068911982 @default.
- W2342431457 hasAuthorship W2342431457A5088526794 @default.
- W2342431457 hasConcept C127413603 @default.
- W2342431457 hasConcept C133731056 @default.
- W2342431457 hasConcept C149635348 @default.
- W2342431457 hasConcept C199360897 @default.
- W2342431457 hasConcept C203479927 @default.
- W2342431457 hasConcept C2779752788 @default.
- W2342431457 hasConcept C2780365114 @default.
- W2342431457 hasConcept C41008148 @default.
- W2342431457 hasConcept C44154836 @default.
- W2342431457 hasConcept C6557445 @default.
- W2342431457 hasConcept C86803240 @default.
- W2342431457 hasConceptScore W2342431457C127413603 @default.
- W2342431457 hasConceptScore W2342431457C133731056 @default.
- W2342431457 hasConceptScore W2342431457C149635348 @default.
- W2342431457 hasConceptScore W2342431457C199360897 @default.
- W2342431457 hasConceptScore W2342431457C203479927 @default.
- W2342431457 hasConceptScore W2342431457C2779752788 @default.
- W2342431457 hasConceptScore W2342431457C2780365114 @default.
- W2342431457 hasConceptScore W2342431457C41008148 @default.
- W2342431457 hasConceptScore W2342431457C44154836 @default.
- W2342431457 hasConceptScore W2342431457C6557445 @default.
- W2342431457 hasConceptScore W2342431457C86803240 @default.
- W2342431457 hasLocation W23424314571 @default.
- W2342431457 hasOpenAccess W2342431457 @default.
- W2342431457 hasPrimaryLocation W23424314571 @default.
- W2342431457 hasRelatedWork W1589494076 @default.
- W2342431457 hasRelatedWork W2073853134 @default.
- W2342431457 hasRelatedWork W2332529943 @default.
- W2342431457 hasRelatedWork W2374512474 @default.
- W2342431457 hasRelatedWork W2375887183 @default.
- W2342431457 hasRelatedWork W2381693813 @default.
- W2342431457 hasRelatedWork W2404145109 @default.
- W2342431457 hasRelatedWork W2724266064 @default.
- W2342431457 hasRelatedWork W3193867320 @default.
- W2342431457 hasRelatedWork W986563131 @default.
- W2342431457 isParatext "false" @default.
- W2342431457 isRetracted "false" @default.
- W2342431457 magId "2342431457" @default.
- W2342431457 workType "article" @default.