FRINK Linked Data Fragments server

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

• W3118335850 abstract "Software updates are indispensable for the continuous development of Cyber Physical Systems (CPS): They allow for low-cost bug-fixing, fast adaptation to new or changing environments, or adding new functionality throughout the CPS’s life-cycle. Due to the urgent need for some safety-critical updates, their verification and validation may need to happen as fast as possible without loss of quality. For this reason, incremental checks targeting specifically the introduced changes and their impact on the system are essential as they speed up the validation process. In this paper, we introduce a concept for such an incremental verification for different types of updates by using contract-based design and verifying the integration of the introduced changes by checking their compliance with the contractually agreed assumptions and guarantees. We demonstrate our approach by applying two update types to an Adaptive Cruise Control (ACC) system and verifying the impact of the changes within the environment of the changed module(s)." @default.
• W3118335850 created "2021-01-18" @default.
• W3118335850 creator A5001676925 @default.
• W3118335850 creator A5007704259 @default.
• W3118335850 creator A5034030997 @default.
• W3118335850 creator A5044736928 @default.
• W3118335850 creator A5065054040 @default.
• W3118335850 creator A5071030095 @default.
• W3118335850 creator A5080457302 @default.
• W3118335850 creator A5085824519 @default.
• W3118335850 creator A5089746112 @default.
• W3118335850 date "2020-12-01" @default.
• W3118335850 modified "2023-10-16" @default.
• W3118335850 title "Incremental Contract-based Verification of Software Updates for Safety-Critical Cyber-Physical Systems" @default.
• W3118335850 cites W132594803 @default.
• W3118335850 cites W1548016968 @default.
• W3118335850 cites W1574815587 @default.
• W3118335850 cites W1970488655 @default.
• W3118335850 cites W1994901326 @default.
• W3118335850 cites W1996707031 @default.
• W3118335850 cites W2000790522 @default.
• W3118335850 cites W2017148352 @default.
• W3118335850 cites W2052363833 @default.
• W3118335850 cites W2112790424 @default.
• W3118335850 cites W2125919758 @default.
• W3118335850 cites W2151755292 @default.
• W3118335850 cites W2198396001 @default.
• W3118335850 cites W2280387451 @default.
• W3118335850 cites W2398789481 @default.
• W3118335850 cites W2581181153 @default.
• W3118335850 cites W2601954514 @default.
• W3118335850 cites W2630557945 @default.
• W3118335850 cites W2889163403 @default.
• W3118335850 cites W2895886705 @default.
• W3118335850 cites W2942023295 @default.
• W3118335850 cites W2946572626 @default.
• W3118335850 cites W2959342893 @default.
• W3118335850 cites W3004625548 @default.
• W3118335850 cites W2264340030 @default.
• W3118335850 doi "https://doi.org/10.1109/csci51800.2020.00318" @default.
• W3118335850 hasPublicationYear "2020" @default.
• W3118335850 type Work @default.
• W3118335850 sameAs 3118335850 @default.
• W3118335850 citedByCount "7" @default.
• W3118335850 countsByYear W31183358502021 @default.
• W3118335850 countsByYear W31183358502022 @default.
• W3118335850 countsByYear W31183358502023 @default.
• W3118335850 crossrefType "proceedings-article" @default.
• W3118335850 hasAuthorship W3118335850A5001676925 @default.
• W3118335850 hasAuthorship W3118335850A5007704259 @default.
• W3118335850 hasAuthorship W3118335850A5034030997 @default.
• W3118335850 hasAuthorship W3118335850A5044736928 @default.
• W3118335850 hasAuthorship W3118335850A5065054040 @default.
• W3118335850 hasAuthorship W3118335850A5071030095 @default.
• W3118335850 hasAuthorship W3118335850A5080457302 @default.
• W3118335850 hasAuthorship W3118335850A5085824519 @default.
• W3118335850 hasAuthorship W3118335850A5089746112 @default.
• W3118335850 hasConcept C110251889 @default.
• W3118335850 hasConcept C111498074 @default.
• W3118335850 hasConcept C111919701 @default.
• W3118335850 hasConcept C113168747 @default.
• W3118335850 hasConcept C11413529 @default.
• W3118335850 hasConcept C115903868 @default.
• W3118335850 hasConcept C120665830 @default.
• W3118335850 hasConcept C121332964 @default.
• W3118335850 hasConcept C127413603 @default.
• W3118335850 hasConcept C139807058 @default.
• W3118335850 hasConcept C149091818 @default.
• W3118335850 hasConcept C154945302 @default.
• W3118335850 hasConcept C179768478 @default.
• W3118335850 hasConcept C186846655 @default.
• W3118335850 hasConcept C200601418 @default.
• W3118335850 hasConcept C21547014 @default.
• W3118335850 hasConcept C2775924081 @default.
• W3118335850 hasConcept C2777904410 @default.
• W3118335850 hasConcept C33054407 @default.
• W3118335850 hasConcept C41008148 @default.
• W3118335850 hasConcept C48002344 @default.
• W3118335850 hasConcept C62460635 @default.
• W3118335850 hasConcept C80444323 @default.
• W3118335850 hasConcept C98045186 @default.
• W3118335850 hasConceptScore W3118335850C110251889 @default.
• W3118335850 hasConceptScore W3118335850C111498074 @default.
• W3118335850 hasConceptScore W3118335850C111919701 @default.
• W3118335850 hasConceptScore W3118335850C113168747 @default.
• W3118335850 hasConceptScore W3118335850C11413529 @default.
• W3118335850 hasConceptScore W3118335850C115903868 @default.
• W3118335850 hasConceptScore W3118335850C120665830 @default.
• W3118335850 hasConceptScore W3118335850C121332964 @default.
• W3118335850 hasConceptScore W3118335850C127413603 @default.
• W3118335850 hasConceptScore W3118335850C139807058 @default.
• W3118335850 hasConceptScore W3118335850C149091818 @default.
• W3118335850 hasConceptScore W3118335850C154945302 @default.
• W3118335850 hasConceptScore W3118335850C179768478 @default.
• W3118335850 hasConceptScore W3118335850C186846655 @default.
• W3118335850 hasConceptScore W3118335850C200601418 @default.
• W3118335850 hasConceptScore W3118335850C21547014 @default.
• W3118335850 hasConceptScore W3118335850C2775924081 @default.
• W3118335850 hasConceptScore W3118335850C2777904410 @default.
• W3118335850 hasConceptScore W3118335850C33054407 @default.

• next