Matches in SemOpenAlex for { <https://semopenalex.org/work/W2184201557> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2184201557 abstract "The paper presents an embedded control software development environment that provides a tool to verify the data consistency of embedded control software designed with Simulink models and UML models. A controller model is built with MATLAB/Simulink in the control logic design phase. Then a software model that correctly executes the control logic in the actual computing environment is built in the software design phase. It must be verified during software design that the data consistency of the software is preserved in the preemptive multitask environment because the simulation of Simulink models is performed in an ideal environment in which zero-time execution is assumed. We present a method to verify the data consistency with SPIN model checker. We also present a tool that automatically generates Promela code for data consistency verification. We have applied the tool to a number of software models transformed from Simulink models and have confirmed its usefulness for embedded control software design. Keywords—embedded control software, real-time systems, model-based design, verification, model checking" @default.
- W2184201557 created "2016-06-24" @default.
- W2184201557 creator A5000418178 @default.
- W2184201557 creator A5015196628 @default.
- W2184201557 creator A5047787533 @default.
- W2184201557 creator A5067546122 @default.
- W2184201557 date "2015-03-22" @default.
- W2184201557 modified "2023-09-24" @default.
- W2184201557 title "An Embedded Control Software Development Environment with Data Consistency Verification for Preemptive Multi Task Systems" @default.
- W2184201557 cites W1959641944 @default.
- W2184201557 cites W2005868287 @default.
- W2184201557 cites W2099661188 @default.
- W2184201557 cites W2100500368 @default.
- W2184201557 cites W2106216655 @default.
- W2184201557 cites W2107325712 @default.
- W2184201557 cites W2115309705 @default.
- W2184201557 cites W2131305885 @default.
- W2184201557 cites W2132919479 @default.
- W2184201557 cites W2159720139 @default.
- W2184201557 cites W2318099751 @default.
- W2184201557 cites W2585473670 @default.
- W2184201557 doi "https://doi.org/10.15224/978-1-63248-038-5-09" @default.
- W2184201557 hasPublicationYear "2015" @default.
- W2184201557 type Work @default.
- W2184201557 sameAs 2184201557 @default.
- W2184201557 citedByCount "0" @default.
- W2184201557 crossrefType "proceedings-article" @default.
- W2184201557 hasAuthorship W2184201557A5000418178 @default.
- W2184201557 hasAuthorship W2184201557A5015196628 @default.
- W2184201557 hasAuthorship W2184201557A5047787533 @default.
- W2184201557 hasAuthorship W2184201557A5067546122 @default.
- W2184201557 hasBestOaLocation W21842015571 @default.
- W2184201557 hasConcept C110251889 @default.
- W2184201557 hasConcept C127413603 @default.
- W2184201557 hasConcept C149635348 @default.
- W2184201557 hasConcept C154488198 @default.
- W2184201557 hasConcept C154945302 @default.
- W2184201557 hasConcept C186846655 @default.
- W2184201557 hasConcept C199360897 @default.
- W2184201557 hasConcept C21547014 @default.
- W2184201557 hasConcept C2776329536 @default.
- W2184201557 hasConcept C2776436953 @default.
- W2184201557 hasConcept C2777904410 @default.
- W2184201557 hasConcept C33054407 @default.
- W2184201557 hasConcept C41008148 @default.
- W2184201557 hasConcept C48002344 @default.
- W2184201557 hasConcept C529173508 @default.
- W2184201557 hasConceptScore W2184201557C110251889 @default.
- W2184201557 hasConceptScore W2184201557C127413603 @default.
- W2184201557 hasConceptScore W2184201557C149635348 @default.
- W2184201557 hasConceptScore W2184201557C154488198 @default.
- W2184201557 hasConceptScore W2184201557C154945302 @default.
- W2184201557 hasConceptScore W2184201557C186846655 @default.
- W2184201557 hasConceptScore W2184201557C199360897 @default.
- W2184201557 hasConceptScore W2184201557C21547014 @default.
- W2184201557 hasConceptScore W2184201557C2776329536 @default.
- W2184201557 hasConceptScore W2184201557C2776436953 @default.
- W2184201557 hasConceptScore W2184201557C2777904410 @default.
- W2184201557 hasConceptScore W2184201557C33054407 @default.
- W2184201557 hasConceptScore W2184201557C41008148 @default.
- W2184201557 hasConceptScore W2184201557C48002344 @default.
- W2184201557 hasConceptScore W2184201557C529173508 @default.
- W2184201557 hasLocation W21842015571 @default.
- W2184201557 hasOpenAccess W2184201557 @default.
- W2184201557 hasPrimaryLocation W21842015571 @default.
- W2184201557 hasRelatedWork W1496649379 @default.
- W2184201557 hasRelatedWork W1540363498 @default.
- W2184201557 hasRelatedWork W1815286906 @default.
- W2184201557 hasRelatedWork W1999929714 @default.
- W2184201557 hasRelatedWork W2002219805 @default.
- W2184201557 hasRelatedWork W2014477620 @default.
- W2184201557 hasRelatedWork W2015018862 @default.
- W2184201557 hasRelatedWork W2105300531 @default.
- W2184201557 hasRelatedWork W2134455079 @default.
- W2184201557 hasRelatedWork W2146405044 @default.
- W2184201557 hasRelatedWork W2157553088 @default.
- W2184201557 hasRelatedWork W2342431457 @default.
- W2184201557 hasRelatedWork W2351772043 @default.
- W2184201557 hasRelatedWork W2356636841 @default.
- W2184201557 hasRelatedWork W2366425078 @default.
- W2184201557 hasRelatedWork W3188195439 @default.
- W2184201557 hasRelatedWork W3201937572 @default.
- W2184201557 hasRelatedWork W34533724 @default.
- W2184201557 hasRelatedWork W39058212 @default.
- W2184201557 hasRelatedWork W646792496 @default.
- W2184201557 isParatext "false" @default.
- W2184201557 isRetracted "false" @default.
- W2184201557 magId "2184201557" @default.
- W2184201557 workType "article" @default.