@inproceedings{, author = {Dantas, Yuri Gil and Kondeva, Antoaneta and Nigam, Vivek}, title = {Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns (Application Paper)}, booktitle = {36th International Conference on Logic Programming (ICLP)}, year = {2020}, month = sep, address = {Rende, Italy}, abstract = {The development of safety-critical systems requires the control of hazards that can potentially cause harm. To this end, safety engineers rely during the development phase on architectural solutions, called safety patterns, such as safety monitors, voters, and watchdogs. The goal of these patterns is to control (identified) faults that can trigger hazards. Safety patterns can control such faults by e.g., increasing the redundancy of the system. Currently, the reasoning of which pattern to use at which part of the target system to control which hazard is documented mostly in textual form or by means of models, such as GSN-models, with limited support for automation. This paper proposes the use of logic programming engines for the auto- mated reasoning about system safety. We propose a domain-specific language for embedded system safety and specify as disjunctive logic programs reasoning principles used by safety engineers to deploy safety patterns, e.g., when to use safety monitors, or watchdogs. Our machinery enables two types of automated safety reasoning: (1) identification of which hazards can be controlled and which ones cannot be controlled by the existing safety patterns; and (2) automated recommendation of which patterns could be used at which place of the system to control potential hazards. Finally, we apply our machinery to two examples taken from the automotive domain: an adaptive cruise control system and a battery management system.}, } @inproceedings{, author = {Dantas, Yuri Gil and Kondeva, Antoaneta and Nigam, Vivek}, title = {Towards Automating Safety and Security Co-Analysis with Patterns}, booktitle = {39th International Conference on Computer Safety, Reliability and Security (SafeComp)}, year = {2020}, month = sep, address = {Lisbon, Portugal}, howpublished = {Position paper}, } @inproceedings{kondeva19wosocer, author = {Kondeva, Antoaneta and C{\^{a}}rlan, Carmen and Rue{\ss}, Harald and Nigam, Vivek}, title = {On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering}, booktitle = {Proceedings of the 2019 IEEE International Symposium on Software Reliability Engineering Workshops ({ISSREW})}, publisher = {IEEE}, year = {2019}, abstract = {With the increasing system interconnectivity, cyberattacks on safety-critical systems can lead to catastrophic events. This calls for a better safety and security integration. Indeed, a safety assessment contains security relevant information, such as, key safety hazards, that shall not be triggered by cyber-attacks. Guidelines, such as, SAE J3061 and ED202A, already recommend to exchange information gathered by safety and security engineers during different phases of development. However, these guidelines do not specify exactly how and which information shall be exchanged. We propose a methodology for enabling computer aided techniques for extracting security relevant information from safety analysis. In particular, we propose techniques for automatically constructing Attack Trees from safety artefacts such as fault trees, hazard analysis and safety patterns. Lastly, we illustrate these techniques on an Industry 4.0 application.}, doi = {10.1109/ISSREW.2019.00095}, keywords = {Model-based systems engineering, MbSE}, } @inproceedings{, author = {Kondeva, Antoaneta and Aravantinos, Vincent and Hermanns, Lukas and H{\"{o}}rauf, Leenhard}, title = {The {SFIT} tool: Supporting assembly planners to deal with new product variants}, booktitle = {Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)}, publisher = {IEEE}, year = {2015}, month = sep, abstract = {Increasing the number of product variants expected by the customers; decreasing product life cycles; operating existing production systems as long as possible, all these factors make the planning of new or the reconfiguration of existing assembly systems a complex and time-consuming task. Yet assembly planners lack adequate tool support in taking the right decisions by such competitive goals and to handle this complexity. In this paper, we present a tool which supports the modelling of the different relevant aspects in a clearly independent way such as products, assembly lines, processes and especially the explicit relationships between these aspects such as which process step is executed on which station or which part is used in which process step. Having the information clearly input by the user, various analyses can be provided to support the assembly planner in his/her design decisions.}, doi = {10.1109/ETFA.2015.7301646}, keywords = {product, assembly planning support, automatic consistency checking, part variants, model-based systems engineering, MbSE}, } @inproceedings{, author = {Voss, Sebastian and Kondeva, Antoaneta and Ratiu, Daniel and Sch{\"{a}}tz, Bernhard}, title = {Seamless Model-based Development of Embedded Systems with {AF3} Phoenix}, booktitle = {Tool demonstration on the 20th Annual {IEEE} International Conference and Workshops on the Engineering of Computer Based Systems ({ECBS})}, pages = {212}, year = {2013}, month = apr, abstract = {To effectively and efficiently use a model-based development process, tools must offer integrated system views on several levels of abstraction, and provide useable sophisticated analysis and synthesis techniques. We demonstrate how these features are implemented for the development of embedded systems in AF3 Phoenix.}, doi = {10.1109/ECBS.2013.20}, keywords = {AutoFOCUS3, methodology, tooling, model-based systems engineering, MbSE}, }