FRINK Linked Data Fragments server

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

• W2912674640 abstract "Model-based design offers a promising approach for assisting developers to build reliable and secure cyber-physical systems (CPSs) in a systematic manner. In this methodology, a designer first constructs a model, with mathematically precise semantics, of the system under design, and performs extensive analysis with respect to correctness requirements before generating the implementation from the model. However, as new vulnerabilities are discovered, requirements evolve aimed at ensuring resiliency. There is currently a shortage of an inexpensive, automated mechanism that can effectively repair the initial design, and a model-based system developer regularly needs to redesign and reimplement the system from scratch. In this paper, we propose a new methodology along with a Matlab toolkit called REAFFIRM to facilitate the model-based repair for improving the resiliency of CPSs. REAFFIRM takes the inputs including 1) an original hybrid system modeled as a Simulink/Stateflow diagram, 2) a given resiliency pattern specified as a model transformation script, and 3) a safety requirement expressed as a Signal Temporal Logic formula, and then outputs a repaired model which satisfies the requirement. The overall structure of REAFFIRM contains two main modules, a model transformation, and a model synthesizer built on top of the falsification tool Breach. We introduce a new model transformation language for hybrid systems, which we call HATL to allow a designer to specify resiliency patterns. To evaluate the proposed approach, we use REAFFIRM to automatically synthesize repaired models for an adaptive cruise control (ACC) system under a GPS sensor spoofing attack, for a single-machine infinite-bus (SMIB) system under a sliding-mode switching attack, and for a missile guidance system under gyroscopes sensor attack." @default.
• W2912674640 created "2019-02-21" @default.
• W2912674640 creator A5030456600 @default.
• W2912674640 creator A5051151589 @default.
• W2912674640 creator A5054356243 @default.
• W2912674640 creator A5065059795 @default.
• W2912674640 creator A5082105260 @default.
• W2912674640 creator A5083167006 @default.
• W2912674640 date "2019-02-09" @default.
• W2912674640 modified "2023-09-27" @default.
• W2912674640 title "REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency" @default.
• W2912674640 cites W1509463226 @default.
• W2912674640 cites W1544649343 @default.
• W2912674640 cites W1558296274 @default.
• W2912674640 cites W1592980365 @default.
• W2912674640 cites W172589331 @default.
• W2912674640 cites W1993036147 @default.
• W2912674640 cites W2003234161 @default.
• W2912674640 cites W2004421225 @default.
• W2912674640 cites W2004463571 @default.
• W2912674640 cites W2032594101 @default.
• W2912674640 cites W2042529046 @default.
• W2912674640 cites W2047277035 @default.
• W2912674640 cites W2059950755 @default.
• W2912674640 cites W2099661188 @default.
• W2912674640 cites W2106513074 @default.
• W2912674640 cites W2115803389 @default.
• W2912674640 cites W2116520617 @default.
• W2912674640 cites W2145548455 @default.
• W2912674640 cites W2149209089 @default.
• W2912674640 cites W2163590987 @default.
• W2912674640 cites W2338852180 @default.
• W2912674640 cites W2597062023 @default.
• W2912674640 cites W2747719939 @default.
• W2912674640 cites W2811077608 @default.
• W2912674640 cites W2917807050 @default.
• W2912674640 hasPublicationYear "2019" @default.
• W2912674640 type Work @default.
• W2912674640 sameAs 2912674640 @default.
• W2912674640 citedByCount "0" @default.
• W2912674640 crossrefType "posted-content" @default.
• W2912674640 hasAuthorship W2912674640A5030456600 @default.
• W2912674640 hasAuthorship W2912674640A5051151589 @default.
• W2912674640 hasAuthorship W2912674640A5054356243 @default.
• W2912674640 hasAuthorship W2912674640A5065059795 @default.
• W2912674640 hasAuthorship W2912674640A5082105260 @default.
• W2912674640 hasAuthorship W2912674640A5083167006 @default.
• W2912674640 hasConcept C104317684 @default.
• W2912674640 hasConcept C110251889 @default.
• W2912674640 hasConcept C115903868 @default.
• W2912674640 hasConcept C120314980 @default.
• W2912674640 hasConcept C149635348 @default.
• W2912674640 hasConcept C154945302 @default.
• W2912674640 hasConcept C185592680 @default.
• W2912674640 hasConcept C199360897 @default.
• W2912674640 hasConcept C204241405 @default.
• W2912674640 hasConcept C2776436953 @default.
• W2912674640 hasConcept C2779752788 @default.
• W2912674640 hasConcept C2779791154 @default.
• W2912674640 hasConcept C2780365114 @default.
• W2912674640 hasConcept C41008148 @default.
• W2912674640 hasConcept C55439883 @default.
• W2912674640 hasConcept C55493867 @default.
• W2912674640 hasConceptScore W2912674640C104317684 @default.
• W2912674640 hasConceptScore W2912674640C110251889 @default.
• W2912674640 hasConceptScore W2912674640C115903868 @default.
• W2912674640 hasConceptScore W2912674640C120314980 @default.
• W2912674640 hasConceptScore W2912674640C149635348 @default.
• W2912674640 hasConceptScore W2912674640C154945302 @default.
• W2912674640 hasConceptScore W2912674640C185592680 @default.
• W2912674640 hasConceptScore W2912674640C199360897 @default.
• W2912674640 hasConceptScore W2912674640C204241405 @default.
• W2912674640 hasConceptScore W2912674640C2776436953 @default.
• W2912674640 hasConceptScore W2912674640C2779752788 @default.
• W2912674640 hasConceptScore W2912674640C2779791154 @default.
• W2912674640 hasConceptScore W2912674640C2780365114 @default.
• W2912674640 hasConceptScore W2912674640C41008148 @default.
• W2912674640 hasConceptScore W2912674640C55439883 @default.
• W2912674640 hasConceptScore W2912674640C55493867 @default.
• W2912674640 hasLocation W29126746401 @default.
• W2912674640 hasOpenAccess W2912674640 @default.
• W2912674640 hasPrimaryLocation W29126746401 @default.
• W2912674640 hasRelatedWork W1886250361 @default.
• W2912674640 hasRelatedWork W1933082445 @default.
• W2912674640 hasRelatedWork W1970231805 @default.
• W2912674640 hasRelatedWork W2010421451 @default.
• W2912674640 hasRelatedWork W2051490597 @default.
• W2912674640 hasRelatedWork W2054887793 @default.
• W2912674640 hasRelatedWork W2059326701 @default.
• W2912674640 hasRelatedWork W2136392279 @default.
• W2912674640 hasRelatedWork W2160844104 @default.
• W2912674640 hasRelatedWork W2170603593 @default.
• W2912674640 hasRelatedWork W2296296458 @default.
• W2912674640 hasRelatedWork W2557038694 @default.
• W2912674640 hasRelatedWork W2601790178 @default.
• W2912674640 hasRelatedWork W2743243733 @default.
• W2912674640 hasRelatedWork W2755308646 @default.
• W2912674640 hasRelatedWork W2803484043 @default.
• W2912674640 hasRelatedWork W2896559060 @default.
• W2912674640 hasRelatedWork W48729811 @default.

• next