Zobrazeno 1 - 10
of 80
pro vyhledávání: '"Hoefig, Kai"'
Autor:
Reiter, Sebastian, Zeller, Marc, Hoefig, Kai, Viehl, Alexander, Bringmann, Oliver, Rosenstiel, Wolfgang
The growing complexity of safety-relevant systems causes an increasing effort for safety assurance. The reduction of development costs and time-to-market, while guaranteeing safe operation, is therefore a major challenge. In order to enable efficient
Externí odkaz:
http://arxiv.org/abs/2106.03368
Model-based engineering promises to boost productivity and quality of complex systems development. In the context of safety-critical systems, a traditionally highly regulated and conservative domain, the use of models gained importance in the recent
Externí odkaz:
http://arxiv.org/abs/2106.02273
In this work, we outline a cross-domain assurance process for safety-relevant software in embedded systems. This process aims to be applied in various different application domains and in conjunction with any development methodology. With this approa
Externí odkaz:
http://arxiv.org/abs/2106.02140
Autor:
Armengaud, Erik, Macher, Georg, Massoner, Alexander, Frager, Sebastian, Adler, Rasmus, Schneider, Daniel, Longo, Simone, Melis, Massimiliano, Groppo, Riccardo, Villa, Federica, OLeary, Padraig, Bambury, Kevin, Anita, Finnegan, Zeller, Marc, Hoefig, Kai, Papadopoulos, Yiannis, Hawkins, Richard, Kelly, Tim
The open and cooperative nature of Cyber-Physical Systems (CPS) poses new challenges in assuring dependability. The DEIS project (Dependability Engineering Innovation for automotive CPS. This project has received funding from the European Union's Hor
Externí odkaz:
http://arxiv.org/abs/2106.01729
Publikováno v:
2015 41st Euromicro Conference on Software Engineering and Advanced Applications
Identifying drawbacks or insufficiencies in terms of safety is important also in early development stages of safety critical systems. In industry, development artefacts such as components or units, are often reused from existing artefacts to save tim
Externí odkaz:
http://arxiv.org/abs/2106.00965
Autor:
Hoefig, Kai, Klein, Cornel, Rothbauer, Stefan, Zeller, Marc, Vorderer, Marian, Koo, Chee Hung
Publikováno v:
2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)
Short product lifecycles and a high variety of products force industrial manufacturing processes to change frequently. Due to the manual approach of many quality analysis techniques, they can significantly slow down adaption processes of production s
Externí odkaz:
http://arxiv.org/abs/2106.11035
Autor:
Hoefig, Kai, Joanni, Andreas, Zeller, Marc, Montrone, Francesco, Rothfelder, Martin, Amarnath, Rakshith, Munk, Peter, Nordmann, Arne
Publikováno v:
2018 Annual Reliability and Maintainability Symposium (RAMS)
The importance of mission or safety critical software systems in many application domains of embedded systems is continuously growing, and so is the effort and complexity for reliability and safety analysis. Model driven development is currently one
Externí odkaz:
http://arxiv.org/abs/2105.15015
Autor:
Zeller, Marc, Hoefig, Kai
Publikováno v:
2016 Annual Reliability and Maintainability Symposium (RAMS)
In order to enable model-based, iterative design of safety-relevant systems, an efficient incorporation of safety and system engineering is a pressing need. Our approach interconnects system design and safety analysis models efficiently using a dedic
Externí odkaz:
http://arxiv.org/abs/2105.14992
The growing size and complexity of software in embedded systems poses new challenges to the safety assessment of embedded control systems. In industrial practice, the control software is mostly treated as a black box during the system's safety analys
Externí odkaz:
http://arxiv.org/abs/2105.15002
Autor:
Schneider, Daniel, Trapp, Mario, Papadopoulos, Yiannis, Armengaud, Eric, Zeller, Marc, Hoefig, Kai
Publikováno v:
2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)
Cyber-Physical Systems (CPS) provide enormous potential for innovation but a precondition for this is that the issue of dependability has been addressed. This paper presents the concept of a Digital Dependability Identity (DDI) of a component or syst
Externí odkaz:
http://arxiv.org/abs/2105.14984