FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2971758340> ?p ?o ?g. }

• W2971758340 abstract "Requirement decomposition is a widely accepted Systems Engineering practice for Requirements Engineering. Getting the requirements correct at the very beginning of the lifecycle is crucial for the success of engineering a correct system. This is especially the case for safety-critical complex systems, where incorrect or clashing requirements can lead to accidents. While there is a large volume of work on the formal verification for the bottom-up composition of requirements, there are very few works on how these requirements are rigorously decomposed top-down in the first place. This paper tackles this problem. Inspired by Contract-Based Design, we develop a formalism for requirement decomposition, which can mathematically guarantee a satisfactory system implementation if certain conditions are respected. A systematic methodology is then designed to semi-automatically search for the optimal sub-requirements and guarantee their correctness upon definition. The proposed approach is supported by existing formal methods (i.e., Reachability Analysis and Constraint Programming) that have been applied to other areas. Finally, we support our findings through a case study on a cruise control system to illustrate the usability of the proposed approach." @default.
• W2971758340 created "2019-09-12" @default.
• W2971758340 creator A5029872832 @default.
• W2971758340 creator A5060220389 @default.
• W2971758340 creator A5080758702 @default.
• W2971758340 creator A5083333299 @default.
• W2971758340 date "2019-09-04" @default.
• W2971758340 modified "2023-09-27" @default.
• W2971758340 title "Correct-by-construction: a contract-based semi-automated requirement decomposition process." @default.
• W2971758340 cites W115133185 @default.
• W2971758340 cites W142068589 @default.
• W2971758340 cites W1498432697 @default.
• W2971758340 cites W1550631048 @default.
• W2971758340 cites W1557653052 @default.
• W2971758340 cites W1566834790 @default.
• W2971758340 cites W1588693185 @default.
• W2971758340 cites W1763790326 @default.
• W2971758340 cites W1843968717 @default.
• W2971758340 cites W1882160752 @default.
• W2971758340 cites W1970488655 @default.
• W2971758340 cites W1971486022 @default.
• W2971758340 cites W1972661971 @default.
• W2971758340 cites W1977409260 @default.
• W2971758340 cites W1994901326 @default.
• W2971758340 cites W2036104167 @default.
• W2971758340 cites W2038820373 @default.
• W2971758340 cites W2046236879 @default.
• W2971758340 cites W2100081537 @default.
• W2971758340 cites W2137705411 @default.
• W2971758340 cites W2140252453 @default.
• W2971758340 cites W2147913676 @default.
• W2971758340 cites W2150596823 @default.
• W2971758340 cites W2164543813 @default.
• W2971758340 cites W2181334260 @default.
• W2971758340 cites W2245708930 @default.
• W2971758340 cites W2337818390 @default.
• W2971758340 cites W2400945129 @default.
• W2971758340 cites W2405157551 @default.
• W2971758340 cites W2487713509 @default.
• W2971758340 cites W2502511806 @default.
• W2971758340 cites W2504563902 @default.
• W2971758340 cites W2620507378 @default.
• W2971758340 cites W2756141531 @default.
• W2971758340 cites W2803630351 @default.
• W2971758340 cites W2908894710 @default.
• W2971758340 cites W2935786612 @default.
• W2971758340 cites W3098560806 @default.
• W2971758340 cites W3148767746 @default.
• W2971758340 cites W3196583545 @default.
• W2971758340 cites W3986271 @default.
• W2971758340 cites W2264340030 @default.
• W2971758340 hasPublicationYear "2019" @default.
• W2971758340 type Work @default.
• W2971758340 sameAs 2971758340 @default.
• W2971758340 citedByCount "0" @default.
• W2971758340 crossrefType "posted-content" @default.
• W2971758340 hasAuthorship W2971758340A5029872832 @default.
• W2971758340 hasAuthorship W2971758340A5060220389 @default.
• W2971758340 hasAuthorship W2971758340A5080758702 @default.
• W2971758340 hasAuthorship W2971758340A5083333299 @default.
• W2971758340 hasConcept C111919701 @default.
• W2971758340 hasConcept C115903868 @default.
• W2971758340 hasConcept C116253237 @default.
• W2971758340 hasConcept C124681953 @default.
• W2971758340 hasConcept C127413603 @default.
• W2971758340 hasConcept C136643341 @default.
• W2971758340 hasConcept C142362112 @default.
• W2971758340 hasConcept C149091818 @default.
• W2971758340 hasConcept C153349607 @default.
• W2971758340 hasConcept C186846655 @default.
• W2971758340 hasConcept C18903297 @default.
• W2971758340 hasConcept C199360897 @default.
• W2971758340 hasConcept C199747065 @default.
• W2971758340 hasConcept C201995342 @default.
• W2971758340 hasConcept C2777904410 @default.
• W2971758340 hasConcept C40398212 @default.
• W2971758340 hasConcept C41008148 @default.
• W2971758340 hasConcept C55439883 @default.
• W2971758340 hasConcept C558565934 @default.
• W2971758340 hasConcept C59488412 @default.
• W2971758340 hasConcept C6604083 @default.
• W2971758340 hasConcept C73301696 @default.
• W2971758340 hasConcept C75606506 @default.
• W2971758340 hasConcept C80444323 @default.
• W2971758340 hasConcept C84651959 @default.
• W2971758340 hasConcept C86803240 @default.
• W2971758340 hasConcept C98045186 @default.
• W2971758340 hasConceptScore W2971758340C111919701 @default.
• W2971758340 hasConceptScore W2971758340C115903868 @default.
• W2971758340 hasConceptScore W2971758340C116253237 @default.
• W2971758340 hasConceptScore W2971758340C124681953 @default.
• W2971758340 hasConceptScore W2971758340C127413603 @default.
• W2971758340 hasConceptScore W2971758340C136643341 @default.
• W2971758340 hasConceptScore W2971758340C142362112 @default.
• W2971758340 hasConceptScore W2971758340C149091818 @default.
• W2971758340 hasConceptScore W2971758340C153349607 @default.
• W2971758340 hasConceptScore W2971758340C186846655 @default.
• W2971758340 hasConceptScore W2971758340C18903297 @default.
• W2971758340 hasConceptScore W2971758340C199360897 @default.
• W2971758340 hasConceptScore W2971758340C199747065 @default.

• next