Logo des Repositoriums

Auflistung nach Schlagwort "formal method"

1 - 4 von 4
  • ConferencePaper
    3rd Workshop on Avionics Systems and Software Engineering (AvioSE’21)
    (Software Engineering 2021, 2021) Annighöfer, Björn; Schweiger, Andreas; Reich, Marina
    Software development in the aerospace domain is driven by new application potentials, increasing complexity, rising certification effort, and increasing cost pressure. In particular, future applications such as e.g., autonomous air transport, aircrew workload reduction, commercial UAVs, and further enhancement of existing functionality add to the system complexity. At the same time, there are challenges in communication and navigation in airspace, certification for multi-core processors, artificial intelligence as well as security for software, hardware, and connectivity. New software development methodologies and techniques are required for dealing with these challenges.
  • Konferenzbeitrag
    5th Workshop on Avionics Systems and Software Engineering (AvioSE'23)
    (Software Engineering 2023 Workshops, 2023) Annighoefer, Bjoern; Schweiger, Andreas; Poulaine, Stéphane
    Systems and software engineering in aerospace is subject to special challenges. For their resolution the AvioSE'23 workshop connects academia and industry with selected scientific presentations of high quality, motivating keynote talks, and an interactive panel discussion.
  • Konferenzbeitrag
    5th Workshop on Avionics Systems and Software Engineering (AvioSE’23)
    (Software Engineering 2023, 2023) Annighoefer, Bjoern; Schweiger, Andreas; Poulaine, Stéphane
    Systems and software engineering in aerospace is subject to special challenges. For their resolution the AvioSE’23 workshop connects academia and industry with selected scientific presentations of high quality, motivating keynote talks, and an interactive panel discussion.
  • Textdokument
    Semi-Formal Representation and Evaluation of Security Properties
    (INFORMATIK 2017, 2017) Lou, Xinxin; Zid, Ines Ben; Parekh, Mithil; Gao, Yuan
    In life-critical and safety-critical systems, one small fault can lead to huge financial and personal damages. How to reduce system failure is an important question for engineers. After the software crisis, formal methods were proposed, which have been proved to effectively reduce the risk of failure. However, the formal method is somehow not as popular as expected, because it is not easy to master, and furthermore, lacks sufficient tools to support this method. In contrast, semi-formal method as a model-driven way is widely used in industry. In this paper, we attempt to apply an application of the semi-formal method to reduce security vulnerabilities of industrial systems. Furthermore, using CSlang, different Information Security Indicators (ISI) can be represented for Industrial Automation and Control Systems (IACS).