Matches in SemOpenAlex for { <https://semopenalex.org/work/W2787275760> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2787275760 abstract "Software security is an important and challenging research topic in developing dynamic hybrid embedded software systems. Ensuring the correct behavior of these systems is particularly difficult due to the interactions between the continuous subsystem and the discrete subsystem. Currently available security analysis methods for system risks have been limited, as they rely on manual inspections of the individual subsystems under simplifying assumptions. To improve this situation, a new approach is proposed that is based on the symbolic model checking tool NuSMV. A dual PID system is used as an example system, for which the logical part and the computational part of the system are modeled in a unified manner. Constraints are constructed on the controlled object, and a counter-example path is ultimately generated, indicating that the hybrid system can be analyzed by the model checking tool." @default.
- W2787275760 created "2018-02-23" @default.
- W2787275760 creator A5022936440 @default.
- W2787275760 creator A5037146989 @default.
- W2787275760 creator A5044470498 @default.
- W2787275760 creator A5045589809 @default.
- W2787275760 creator A5077487533 @default.
- W2787275760 date "2018-01-01" @default.
- W2787275760 modified "2023-09-23" @default.
- W2787275760 title "Formal verification of dynamic hybrid systems: a NuSMV-based model checking approach" @default.
- W2787275760 cites W2001289891 @default.
- W2787275760 cites W2115309705 @default.
- W2787275760 cites W2276629685 @default.
- W2787275760 cites W856973001 @default.
- W2787275760 doi "https://doi.org/10.1051/itmconf/20181703026" @default.
- W2787275760 hasPublicationYear "2018" @default.
- W2787275760 type Work @default.
- W2787275760 sameAs 2787275760 @default.
- W2787275760 citedByCount "2" @default.
- W2787275760 countsByYear W27872757602019 @default.
- W2787275760 countsByYear W27872757602020 @default.
- W2787275760 crossrefType "journal-article" @default.
- W2787275760 hasAuthorship W2787275760A5022936440 @default.
- W2787275760 hasAuthorship W2787275760A5037146989 @default.
- W2787275760 hasAuthorship W2787275760A5044470498 @default.
- W2787275760 hasAuthorship W2787275760A5045589809 @default.
- W2787275760 hasAuthorship W2787275760A5077487533 @default.
- W2787275760 hasBestOaLocation W27872757601 @default.
- W2787275760 hasConcept C110251889 @default.
- W2787275760 hasConcept C111498074 @default.
- W2787275760 hasConcept C115903868 @default.
- W2787275760 hasConcept C119857082 @default.
- W2787275760 hasConcept C199360897 @default.
- W2787275760 hasConcept C2777904410 @default.
- W2787275760 hasConcept C41008148 @default.
- W2787275760 hasConcept C50897621 @default.
- W2787275760 hasConcept C75606506 @default.
- W2787275760 hasConceptScore W2787275760C110251889 @default.
- W2787275760 hasConceptScore W2787275760C111498074 @default.
- W2787275760 hasConceptScore W2787275760C115903868 @default.
- W2787275760 hasConceptScore W2787275760C119857082 @default.
- W2787275760 hasConceptScore W2787275760C199360897 @default.
- W2787275760 hasConceptScore W2787275760C2777904410 @default.
- W2787275760 hasConceptScore W2787275760C41008148 @default.
- W2787275760 hasConceptScore W2787275760C50897621 @default.
- W2787275760 hasConceptScore W2787275760C75606506 @default.
- W2787275760 hasLocation W27872757601 @default.
- W2787275760 hasLocation W27872757602 @default.
- W2787275760 hasOpenAccess W2787275760 @default.
- W2787275760 hasPrimaryLocation W27872757601 @default.
- W2787275760 hasRelatedWork W1495714154 @default.
- W2787275760 hasRelatedWork W156004984 @default.
- W2787275760 hasRelatedWork W1815286906 @default.
- W2787275760 hasRelatedWork W2029825845 @default.
- W2787275760 hasRelatedWork W2080987629 @default.
- W2787275760 hasRelatedWork W2081047328 @default.
- W2787275760 hasRelatedWork W2081402532 @default.
- W2787275760 hasRelatedWork W2117425003 @default.
- W2787275760 hasRelatedWork W2126301692 @default.
- W2787275760 hasRelatedWork W2148596898 @default.
- W2787275760 hasRelatedWork W2202831984 @default.
- W2787275760 hasRelatedWork W2337367030 @default.
- W2787275760 hasRelatedWork W2393727197 @default.
- W2787275760 hasRelatedWork W2418247844 @default.
- W2787275760 hasRelatedWork W2547889920 @default.
- W2787275760 hasRelatedWork W2783278179 @default.
- W2787275760 hasRelatedWork W2799950155 @default.
- W2787275760 hasRelatedWork W2976693706 @default.
- W2787275760 hasRelatedWork W3116107820 @default.
- W2787275760 hasRelatedWork W74877538 @default.
- W2787275760 isParatext "false" @default.
- W2787275760 isRetracted "false" @default.
- W2787275760 magId "2787275760" @default.
- W2787275760 workType "article" @default.