FRINK Linked Data Fragments server

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

• W1851008664 endingPage "624" @default.
• W1851008664 startingPage "587" @default.
• W1851008664 abstract "In order to cope with the growing complexity of critical real-time embedded systems, systems engineering has adopted a component-based design technique driven by requirements. Yet, such an approach raises several issues since it does not explicitly prescribe how system requirements can be decomposed on components nor how components contribute to the satisfaction of requirements. The envisioned solution is to design, with respect to each requirement and for each involved component, an abstract specification, tractable at each design step, that models how the component is concerned by the satisfaction of the requirement and that can be further refined toward a correct implementation. In this paper, we consider such specifications in the form of contracts. A contract for a component consists in a pair (assumption, guarantee) where the assumption models an abstract behavior of the component’s environment and the guarantee models an abstract behavior of the component given that the environment behaves according to the assumption. Therefore, contracts are a valuable asset for the correct design of systems, but also for mapping and tracing requirements to components, for tracing the evolution of requirements during design and, most importantly, for compositional verification of requirements. The aim of this paper is to introduce contract-based reasoning for the design of critical real-time systems made of reactive components modeled with UML and/or SysML. We propose an extension of UML and SysML languages with a syntax and semantics for contracts and the refinement relations that they must satisfy. The semantics of components and contracts is formalized by a variant of timed input/output automata on top of which we build a formal contract-based theory. We prove that the contract-based theory is sound and can be applied for a relatively large class of SysML system models. Finally, we show on a case study extracted from the automated transfer vehicle ( http://www.esa.int/ATV ) that our contract-based theory allows to verify requirement satisfaction for previously intractable models." @default.
• W1851008664 created "2016-06-24" @default.
• W1851008664 creator A5012632761 @default.
• W1851008664 creator A5018426477 @default.
• W1851008664 creator A5025907604 @default.
• W1851008664 date "2015-07-07" @default.
• W1851008664 modified "2023-10-16" @default.
• W1851008664 title "Contract-based modeling and verification of timed safety requirements within SysML" @default.
• W1851008664 cites W1451302240 @default.
• W1851008664 cites W1496394448 @default.
• W1851008664 cites W1497879578 @default.
• W1851008664 cites W1501354277 @default.
• W1851008664 cites W1502714871 @default.
• W1851008664 cites W1507382979 @default.
• W1851008664 cites W1513136138 @default.
• W1851008664 cites W1518926628 @default.
• W1851008664 cites W1533622576 @default.
• W1851008664 cites W1539457702 @default.
• W1851008664 cites W1554826871 @default.
• W1851008664 cites W1582964729 @default.
• W1851008664 cites W1587502808 @default.
• W1851008664 cites W1597414920 @default.
• W1851008664 cites W1604627363 @default.
• W1851008664 cites W171551482 @default.
• W1851008664 cites W1756169151 @default.
• W1851008664 cites W1776738182 @default.
• W1851008664 cites W1786563508 @default.
• W1851008664 cites W1970488655 @default.
• W1851008664 cites W1997867499 @default.
• W1851008664 cites W2000890456 @default.
• W1851008664 cites W2011641479 @default.
• W1851008664 cites W2015937909 @default.
• W1851008664 cites W2024613742 @default.
• W1851008664 cites W2025975926 @default.
• W1851008664 cites W2028287022 @default.
• W1851008664 cites W2033985407 @default.
• W1851008664 cites W2038373903 @default.
• W1851008664 cites W2050779443 @default.
• W1851008664 cites W2069431083 @default.
• W1851008664 cites W2080942132 @default.
• W1851008664 cites W2101508170 @default.
• W1851008664 cites W2133038101 @default.
• W1851008664 cites W2134399923 @default.
• W1851008664 cites W2137467159 @default.
• W1851008664 cites W2140252453 @default.
• W1851008664 cites W2143147612 @default.
• W1851008664 cites W2149887749 @default.
• W1851008664 cites W2155391106 @default.
• W1851008664 cites W2156314014 @default.
• W1851008664 cites W2158395308 @default.
• W1851008664 cites W2164543813 @default.
• W1851008664 cites W2169134334 @default.
• W1851008664 cites W2293287097 @default.
• W1851008664 cites W267491497 @default.
• W1851008664 cites W2914055623 @default.
• W1851008664 cites W3146865484 @default.
• W1851008664 cites W4233281287 @default.
• W1851008664 cites W4238232663 @default.
• W1851008664 cites W4245473887 @default.
• W1851008664 doi "https://doi.org/10.1007/s10270-015-0481-1" @default.
• W1851008664 hasPublicationYear "2015" @default.
• W1851008664 type Work @default.
• W1851008664 sameAs 1851008664 @default.
• W1851008664 citedByCount "13" @default.
• W1851008664 countsByYear W18510086642015 @default.
• W1851008664 countsByYear W18510086642018 @default.
• W1851008664 countsByYear W18510086642019 @default.
• W1851008664 countsByYear W18510086642020 @default.
• W1851008664 countsByYear W18510086642021 @default.
• W1851008664 countsByYear W18510086642022 @default.
• W1851008664 countsByYear W18510086642023 @default.
• W1851008664 crossrefType "journal-article" @default.
• W1851008664 hasAuthorship W1851008664A5012632761 @default.
• W1851008664 hasAuthorship W1851008664A5018426477 @default.
• W1851008664 hasAuthorship W1851008664A5025907604 @default.
• W1851008664 hasBestOaLocation W18510086642 @default.
• W1851008664 hasConcept C115903868 @default.
• W1851008664 hasConcept C121332964 @default.
• W1851008664 hasConcept C127413603 @default.
• W1851008664 hasConcept C138673069 @default.
• W1851008664 hasConcept C145644426 @default.
• W1851008664 hasConcept C154945302 @default.
• W1851008664 hasConcept C168167062 @default.
• W1851008664 hasConcept C184337299 @default.
• W1851008664 hasConcept C186846655 @default.
• W1851008664 hasConcept C199360897 @default.
• W1851008664 hasConcept C201995342 @default.
• W1851008664 hasConcept C21285288 @default.
• W1851008664 hasConcept C2777904410 @default.
• W1851008664 hasConcept C41008148 @default.
• W1851008664 hasConcept C529173508 @default.
• W1851008664 hasConcept C60048249 @default.
• W1851008664 hasConcept C6604083 @default.
• W1851008664 hasConcept C80291951 @default.
• W1851008664 hasConcept C97355855 @default.
• W1851008664 hasConceptScore W1851008664C115903868 @default.
• W1851008664 hasConceptScore W1851008664C121332964 @default.
• W1851008664 hasConceptScore W1851008664C127413603 @default.

• next