Matches in SemOpenAlex for { <https://semopenalex.org/work/W2131031215> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2131031215 endingPage "65" @default.
- W2131031215 startingPage "62" @default.
- W2131031215 abstract "Requirements of embedded systems often describe the system behavior with quantitative constraints over parameters such as timing, memory, and other resources. In this letter, we present a visual language suited for scenario-based specification of requirements with quantitative constraints. Our language, known as event sequence charts with quantitative constraints (ESC-QC), is inspired by message sequence charts (MSC) and its variants. We introduce ESC-QC notations through an example from automotive requirements and then describe the formal syntax and semantics. Besides being useful for formal documentation and analysis of system requirements, ESC-QC specifications can be translated into monitors and used for run-time verification of designs. In automotive systems Simulink/Stateflow (SL/SF) is widely used for design of control systems. We have developed an algorithm for automatic synthesis of SL/SF monitors from ESC-QC specifications. We have used this algorithm for generating monitors for verification of controller models from active safety and body control applications." @default.
- W2131031215 created "2016-06-24" @default.
- W2131031215 creator A5045489615 @default.
- W2131031215 creator A5075920029 @default.
- W2131031215 creator A5081333705 @default.
- W2131031215 date "2011-06-01" @default.
- W2131031215 modified "2023-09-25" @default.
- W2131031215 title "Scenario-Based Specification of Automotive Requirements With Quantitative Constraints and Synthesis of SL/SF Monitors" @default.
- W2131031215 cites W1482962177 @default.
- W2131031215 cites W1592055490 @default.
- W2131031215 cites W1784879157 @default.
- W2131031215 cites W1797377815 @default.
- W2131031215 cites W2125051100 @default.
- W2131031215 cites W2127335869 @default.
- W2131031215 cites W2130353495 @default.
- W2131031215 cites W2132050469 @default.
- W2131031215 cites W2151271773 @default.
- W2131031215 cites W2171434616 @default.
- W2131031215 cites W2481726056 @default.
- W2131031215 doi "https://doi.org/10.1109/les.2011.2127445" @default.
- W2131031215 hasPublicationYear "2011" @default.
- W2131031215 type Work @default.
- W2131031215 sameAs 2131031215 @default.
- W2131031215 citedByCount "0" @default.
- W2131031215 crossrefType "journal-article" @default.
- W2131031215 hasAuthorship W2131031215A5045489615 @default.
- W2131031215 hasAuthorship W2131031215A5075920029 @default.
- W2131031215 hasAuthorship W2131031215A5081333705 @default.
- W2131031215 hasConcept C111498074 @default.
- W2131031215 hasConcept C116253237 @default.
- W2131031215 hasConcept C127413603 @default.
- W2131031215 hasConcept C146978453 @default.
- W2131031215 hasConcept C149635348 @default.
- W2131031215 hasConcept C184337299 @default.
- W2131031215 hasConcept C199360897 @default.
- W2131031215 hasConcept C201677973 @default.
- W2131031215 hasConcept C2779752788 @default.
- W2131031215 hasConcept C2780365114 @default.
- W2131031215 hasConcept C41008148 @default.
- W2131031215 hasConcept C526921623 @default.
- W2131031215 hasConcept C75606506 @default.
- W2131031215 hasConcept C79403827 @default.
- W2131031215 hasConceptScore W2131031215C111498074 @default.
- W2131031215 hasConceptScore W2131031215C116253237 @default.
- W2131031215 hasConceptScore W2131031215C127413603 @default.
- W2131031215 hasConceptScore W2131031215C146978453 @default.
- W2131031215 hasConceptScore W2131031215C149635348 @default.
- W2131031215 hasConceptScore W2131031215C184337299 @default.
- W2131031215 hasConceptScore W2131031215C199360897 @default.
- W2131031215 hasConceptScore W2131031215C201677973 @default.
- W2131031215 hasConceptScore W2131031215C2779752788 @default.
- W2131031215 hasConceptScore W2131031215C2780365114 @default.
- W2131031215 hasConceptScore W2131031215C41008148 @default.
- W2131031215 hasConceptScore W2131031215C526921623 @default.
- W2131031215 hasConceptScore W2131031215C75606506 @default.
- W2131031215 hasConceptScore W2131031215C79403827 @default.
- W2131031215 hasIssue "2" @default.
- W2131031215 hasLocation W21310312151 @default.
- W2131031215 hasOpenAccess W2131031215 @default.
- W2131031215 hasPrimaryLocation W21310312151 @default.
- W2131031215 hasRelatedWork W1763952687 @default.
- W2131031215 hasRelatedWork W1999929714 @default.
- W2131031215 hasRelatedWork W2046138576 @default.
- W2131031215 hasRelatedWork W2069640066 @default.
- W2131031215 hasRelatedWork W2073143564 @default.
- W2131031215 hasRelatedWork W2104933828 @default.
- W2131031215 hasRelatedWork W2105182891 @default.
- W2131031215 hasRelatedWork W2111226294 @default.
- W2131031215 hasRelatedWork W2112107645 @default.
- W2131031215 hasRelatedWork W2121341646 @default.
- W2131031215 hasRelatedWork W2157120282 @default.
- W2131031215 hasRelatedWork W2160892751 @default.
- W2131031215 hasRelatedWork W2165964096 @default.
- W2131031215 hasRelatedWork W2509521284 @default.
- W2131031215 hasRelatedWork W2736911465 @default.
- W2131031215 hasRelatedWork W2743847386 @default.
- W2131031215 hasRelatedWork W2790431569 @default.
- W2131031215 hasRelatedWork W3083826291 @default.
- W2131031215 hasRelatedWork W3142785531 @default.
- W2131031215 hasRelatedWork W3151277855 @default.
- W2131031215 hasVolume "3" @default.
- W2131031215 isParatext "false" @default.
- W2131031215 isRetracted "false" @default.
- W2131031215 magId "2131031215" @default.
- W2131031215 workType "article" @default.