FRINK Linked Data Fragments server

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

• W2405159712 endingPage "197" @default.
• W2405159712 startingPage "185" @default.
• W2405159712 abstract "Designing safety-critical cyber physical systems (CPS) was and remains a challenging task. CPS engineers are supposed to design solutions that are easy to modify, reusable, satisfy certification authorities, meet safety goals, separate between concerns, etc. With these partly contradicting demands it sometimes is even impossible to find a viable CPS design. The idea using contract-based design methods has been around for over two decades and enables automating the (re-)validation of the specification of CPS against the surrounding system or operational environment. In this work we extend the notion of contracts by component and interface contracts and give ideas on how to integrate them in a modular safety assurance approach. The explicit separation between these two types of contracts also better reflects the separation of concerns and reduces the overall modeling effort. We evaluate our approach with an automotive E-Drive case study." @default.
• W2405159712 created "2016-06-24" @default.
• W2405159712 creator A5012182666 @default.
• W2405159712 creator A5046566803 @default.
• W2405159712 creator A5090633008 @default.
• W2405159712 date "2015-01-01" @default.
• W2405159712 modified "2023-09-29" @default.
• W2405159712 title "A Modular Safety Assurance Method considering Multi-Aspect Contracts during Cyber Physical System Design." @default.
• W2405159712 cites W1549644356 @default.
• W2405159712 cites W1970488655 @default.
• W2405159712 cites W2023808162 @default.
• W2405159712 cites W2052363833 @default.
• W2405159712 cites W2066867661 @default.
• W2405159712 cites W2070874614 @default.
• W2405159712 cites W2090747290 @default.
• W2405159712 cites W2140252453 @default.
• W2405159712 cites W2400945129 @default.
• W2405159712 cites W2566945309 @default.
• W2405159712 cites W642092214 @default.
• W2405159712 cites W88730165 @default.
• W2405159712 cites W2264340030 @default.
• W2405159712 hasPublicationYear "2015" @default.
• W2405159712 type Work @default.
• W2405159712 sameAs 2405159712 @default.
• W2405159712 citedByCount "1" @default.
• W2405159712 countsByYear W24051597122015 @default.
• W2405159712 crossrefType "journal-article" @default.
• W2405159712 hasAuthorship W2405159712A5012182666 @default.
• W2405159712 hasAuthorship W2405159712A5046566803 @default.
• W2405159712 hasAuthorship W2405159712A5090633008 @default.
• W2405159712 hasConcept C101468663 @default.
• W2405159712 hasConcept C111919701 @default.
• W2405159712 hasConcept C112930515 @default.
• W2405159712 hasConcept C113843644 @default.
• W2405159712 hasConcept C115903868 @default.
• W2405159712 hasConcept C121332964 @default.
• W2405159712 hasConcept C127413603 @default.
• W2405159712 hasConcept C129307140 @default.
• W2405159712 hasConcept C144133560 @default.
• W2405159712 hasConcept C146978453 @default.
• W2405159712 hasConcept C157915830 @default.
• W2405159712 hasConcept C168167062 @default.
• W2405159712 hasConcept C173608175 @default.
• W2405159712 hasConcept C17744445 @default.
• W2405159712 hasConcept C179768478 @default.
• W2405159712 hasConcept C199539241 @default.
• W2405159712 hasConcept C201995342 @default.
• W2405159712 hasConcept C2780234205 @default.
• W2405159712 hasConcept C2780451532 @default.
• W2405159712 hasConcept C41008148 @default.
• W2405159712 hasConcept C46304622 @default.
• W2405159712 hasConcept C526921623 @default.
• W2405159712 hasConcept C97355855 @default.
• W2405159712 hasConceptScore W2405159712C101468663 @default.
• W2405159712 hasConceptScore W2405159712C111919701 @default.
• W2405159712 hasConceptScore W2405159712C112930515 @default.
• W2405159712 hasConceptScore W2405159712C113843644 @default.
• W2405159712 hasConceptScore W2405159712C115903868 @default.
• W2405159712 hasConceptScore W2405159712C121332964 @default.
• W2405159712 hasConceptScore W2405159712C127413603 @default.
• W2405159712 hasConceptScore W2405159712C129307140 @default.
• W2405159712 hasConceptScore W2405159712C144133560 @default.
• W2405159712 hasConceptScore W2405159712C146978453 @default.
• W2405159712 hasConceptScore W2405159712C157915830 @default.
• W2405159712 hasConceptScore W2405159712C168167062 @default.
• W2405159712 hasConceptScore W2405159712C173608175 @default.
• W2405159712 hasConceptScore W2405159712C17744445 @default.
• W2405159712 hasConceptScore W2405159712C179768478 @default.
• W2405159712 hasConceptScore W2405159712C199539241 @default.
• W2405159712 hasConceptScore W2405159712C201995342 @default.
• W2405159712 hasConceptScore W2405159712C2780234205 @default.
• W2405159712 hasConceptScore W2405159712C2780451532 @default.
• W2405159712 hasConceptScore W2405159712C41008148 @default.
• W2405159712 hasConceptScore W2405159712C46304622 @default.
• W2405159712 hasConceptScore W2405159712C526921623 @default.
• W2405159712 hasConceptScore W2405159712C97355855 @default.
• W2405159712 hasLocation W24051597121 @default.
• W2405159712 hasOpenAccess W2405159712 @default.
• W2405159712 hasPrimaryLocation W24051597121 @default.
• W2405159712 hasRelatedWork W1521231416 @default.
• W2405159712 hasRelatedWork W1574192913 @default.
• W2405159712 hasRelatedWork W1601809617 @default.
• W2405159712 hasRelatedWork W161416626 @default.
• W2405159712 hasRelatedWork W1714664695 @default.
• W2405159712 hasRelatedWork W2080350062 @default.
• W2405159712 hasRelatedWork W2113612652 @default.
• W2405159712 hasRelatedWork W2117253428 @default.
• W2405159712 hasRelatedWork W2154078490 @default.
• W2405159712 hasRelatedWork W2211369267 @default.
• W2405159712 hasRelatedWork W2230287058 @default.
• W2405159712 hasRelatedWork W2322222400 @default.
• W2405159712 hasRelatedWork W2406227051 @default.
• W2405159712 hasRelatedWork W2624885177 @default.
• W2405159712 hasRelatedWork W2930427912 @default.
• W2405159712 hasRelatedWork W2933669171 @default.
• W2405159712 hasRelatedWork W3014561174 @default.
• W2405159712 hasRelatedWork W3046752663 @default.
• W2405159712 hasRelatedWork W3113359553 @default.

• next