id:"swepub:oai:DiVA.org:liu-187593"
Search: id:"swepub:oai:DiVA.org:liu-187593" > Synthesis of a Cont...
- 1 of 1
- Previous record
- Next record
- To hitlist
Synthesis of a Controller Algorithm for Safety-Critical Systems
-
- de Souza, Fellipe Guilherme Rey (author)
- Inst Tecnol Aeronaut, Brazil
-
- Hirata, Celso Massaki (author)
- Inst Tecnol Aeronaut, Brazil
-
- Nadjm-Tehrani, Simin (author)
- Linköpings universitet,Programvara och system,Tekniska fakulteten
- (creator_code:org_t)
- Institute of Electrical and Electronics Engineers (IEEE), 2022
- 2022
- English.
- In: IEEE Access. - : Institute of Electrical and Electronics Engineers (IEEE). - 2169-3536. ; 10, s. 76351-76375
- Journal article (peer-reviewed)
Abstract
Subject headings
Close
- Systems of today are becoming more complex; they have many levels of the control hierarchy, are software-intensive, use different networks, have increasing processing power, use a diversity of devices, and require more integration. Systems-Theoretic Process Analysis (STPA) is a technique that is being used to analyze the safety of those systems at the concept stage. For the design phase, STPA can be combined with SysML modeling activities, including simulation and formal verification of systems models to produce the control software more efficiently. However, for the design phase, when starting from the STPA analysis there is no support to elaborate the control algorithm. Building the control algorithm is one of the most difficult tasks in the design phase. We propose a method to synthesize the control algorithm for safety-critical systems from the STPA analyses and the functional requirements. Our method maps the control structure (STPA) into a block diagram (SysML), and it uses the STPA results to generate an initial state machine diagram (SysML) for automated controllers, actuators, and sensors. We use our method to generate the control algorithms for an Adaptive Cruise Control system. We evaluate the synthesized algorithms by performing model simulation and formal verification. This illustrates that our method is a systematic way to synthesize control algorithms that satisfy both safety and functional requirements.
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Keyword
- Unified modeling language; Modeling; Analytical models; Adaptation models; Software; Hazards; Computational modeling; Safety; systems modeling language; model checking; control system synthesis; system analysis; design
Publication and Content Type
- ref (subject category)
- art (subject category)
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- de Souza, Fellip ...
- Hirata, Celso Ma ...
- Nadjm-Tehrani, S ...
- About the subject
-
- ENGINEERING AND TECHNOLOGY
- ENGINEERING AND ...
- and Electrical Engin ...
- and Computer Systems
- Articles in the publication
- IEEE Access
- By the university
- Linköping University
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
