A Modeling Framework for Efficient Safety Critical Time-Triggered Architecture Design

Mapping Intimacies ◽

10.4271/2007-01-1271 ◽

2007 ◽

Author(s):

Juan M. Perez Cerrolaza ◽

Antonio Perez ◽

Oskar Berreteaga ◽

Alberto Ruiz de Olano

Keyword(s):

Critical Time ◽

Architecture Design ◽

Modeling Framework ◽

Safety Critical

Download Full-text

ASIL-Decomposition Based Routing and Scheduling in Safety-Critical Time-Sensitive Networking

2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS) ◽

10.1109/rtas52030.2021.00023 ◽

2021 ◽

Author(s):

Yuanbin Zhou ◽

Soheil Samii ◽

Petru Eles ◽

Zebo Peng

Keyword(s):

Critical Time ◽

Routing And Scheduling ◽

Safety Critical

Download Full-text

A novel modeling framework for time-triggered safety-critical embedded systems

Proceedings of the 2014 Forum on Specification and Design Languages (FDL) ◽

10.1109/fdl.2014.7119343 ◽

2014 ◽

Author(s):

Iban Ayestaran ◽

Carlos F. Nicolas ◽

Jon Perez ◽

Asier Larrucea ◽

Peter Puschner

Keyword(s):

Embedded Systems ◽

Modeling Framework ◽

Safety Critical

Download Full-text

Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems

2015 IEEE 16th International Symposium on High Assurance Systems Engineering ◽

10.1109/hase.2015.27 ◽

2015 ◽

Author(s):

Irfan Sljivo ◽

Omar Jaradat ◽

Iain Bate ◽

Patrick Graydon

Keyword(s):

Architecture Design ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Energy-Efficient Scheduling of Periodic Applications on Safety-Critical Time-Triggered Multiprocessor Systems

Electronics ◽

10.3390/electronics7060098 ◽

2018 ◽

Vol 7 (6) ◽

pp. 98 ◽

Author(s):

Xiaowen Jiang ◽

Kai Huang ◽

Xiaomeng Zhang ◽

Rongjie Yan ◽

Ke Wang ◽

...

Keyword(s):

Energy Efficient ◽

Critical Time ◽

Multiprocessor Systems ◽

Safety Critical ◽

Energy Efficient Scheduling

Download Full-text

State-driven Architecture Design for Safety-critical Software Product Lines

2019 7th International Conference on Mechatronics Engineering (ICOM) ◽

10.1109/icom47790.2019.8952006 ◽

2019 ◽

Author(s):

Mozamil Ebnauf ◽

W. Abdelmoez ◽

Hany H. Ammar ◽

Aisha Hassan ◽

M. Abdelhamid

Keyword(s):

Software Product Lines ◽

Architecture Design ◽

Product Lines ◽

Safety Critical ◽

Software Product ◽

Design For Safety

Download Full-text

Scheduling periodic task graphs for safety-critical time-triggered avionic systems

IEEE Transactions on Aerospace and Electronic Systems ◽

10.1109/taes.2015.140063 ◽

2015 ◽

Vol 51 (3) ◽

pp. 2294-2304 ◽

Author(s):

Menglan Hu ◽

Jun Luo ◽

Yang Wang ◽

Bharadwaj Veeravalli

Keyword(s):

Critical Time ◽

Periodic Task ◽

Safety Critical ◽

Download Full-text

Fault-Tolerant Scheduler with Genetic Algorithm for Safety-Critical Time-Triggered Systems of Systems

2020 IEEE 18th International Conference on Industrial Informatics (INDIN) ◽

10.1109/indin45582.2020.9442185 ◽

2020 ◽

Author(s):

Setareh Majidi ◽

Roman Obermaisser ◽

Sudam Wasala ◽

Mario Qosja

Keyword(s):

Genetic Algorithm ◽

Fault Tolerant ◽

Critical Time ◽

Systems Of Systems ◽

Safety Critical

Download Full-text

A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-Critical and Cyber-Physical Environments

10.1109/models50736.2021.00025 ◽

2021 ◽

Author(s):

Vanessa Tietz ◽

Julian Schoepf ◽

Andreas Waldvogel ◽

Bjoern Annighoefer

Keyword(s):

Modeling Framework ◽

Safety Critical ◽

Physical Environments ◽

Download Full-text

Scheduling of safety-critical time-constrained traffic with F-shaped messages

2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS) ◽

10.1109/wfcs.2017.7991948 ◽

2017 ◽

Author(s):

Antonin Novak ◽

Zdenek Hanzalek ◽

Premysl Sucha

Keyword(s):

Critical Time ◽

Safety Critical

Download Full-text

Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications

2008 11th IEEE High Assurance Systems Engineering Symposium ◽

10.1109/hase.2008.45 ◽

2008 ◽

Author(s):

Kohei Sakurai ◽

Péter Bokor ◽

Neeraj Suri

Keyword(s):

Modular Design ◽

Critical Time ◽

Formal Specifications ◽

Safety Critical

Download Full-text