1–20 of 21 hits
|

    Efficient software tool qualification for automotive safety-critical systems

    Aström, Alexander / Izosimov, Viacheslav / Örsmark, Ola | Tema Archive | 2011
    In this paper, we present our semi-automatic qualification method for software tools on the example of a testing tool. The method is based ...
    Keywords: Software-Sicherheit

    Safety assessments of air traffic systems

    May, Rodney | Tema Archive | 2007
    following three stages of safety assessments for air traffic systems, the issues that have arisen and how they have been addressed: i) how to ...

    Towards a unified approach to safety and security in automotive systems

    Jesty, Peter H. / Ward, David D. | Tema Archive | 2007
    recommendations on the requirements for software at varying levels of integrity. This paper points out the advantages of this approach for safety ...
    Keywords: Software-Security

    Human factors safety assurance for changing ATM systems

    Clark, Stephen O. / Shorrock, Steven T. / Turley, Nic | Tema Archive | 2008
    The significant contribution of human error to overall system risk for air traffic management systems has been recognised for some time. It ...

    Architecting Safer Autonomous Aviation Systems

    Jane Fenn / Michael Wilkinson / Mark Nicholson et al. | NTRS
    The aviation literature gives relatively little guidance to practitioners about the specifics of architecting systems for safety ...
    Keywords: Safety architecture

    Architecting Safer Autonomous Aviation Systems

    Jane Fenn / Mark Nicholson / Ganesh Pai et al. | NTRS
    The aviation literature gives relatively little guidance to practitioners about the specifics of architecting systems for safety ...
    Keywords: Computer Systems , Safety assurance , Safety architecture

    Safety case composition using contracts - refinements based on feedback from an industrial case study

    Fenn, Jane / Hawkins, Richard / Kelly, Tim et al. | Tema Archive | 2007
    how the claims of one module support the arguments of another. A number of techniques for structuring and describing modular safety cases ...

    Safety case development as an information modelling problem

    Lewis, Robert | Tema Archive | 2009
    highlights the current difficulties of developing and managing large document-based safety cases for complex systems such as those found in Air ...

    Safety case development. How can I continue the work?

    Chichoki, Tadeusz | Tema Archive | 2008
    systems safety engineering and assessment by exploring some of the elements of the engineering and assessment processes and use this as a general ...

    Defence standard 00-56 issue 4: Towards evidence-based safety standards

    Menon, Catherine / Hawkins, Richard / McDermid, John | Tema Archive | 2009
    , evidence is used to support claims relating to software safety. One of the most subtle questions when constructing a safety argument is the ...
    Keywords: Software-Sicherheit

    Dependable risk analysis for systems with E/E/PE components: Two case studies

    Stuphorn, Jörn / Sieker, Bernd / Ladkin, Peter B. | Tema Archive | 2009
    Accurate risk assessment of safety-related systems involving software is a hard engineering problem for well-known reasons. The authors ...

    Formal Safety Verification of Automotive Microcontroller Parts

    Busch, Holger | Tema Archive | 2012
    applications in safety-critical systems according to defined automotive safety integrity levels. An automotive microcontroller system therefore ...

    Airbag Systems - Their Permanent Monitoring and Its Meaning to the User

    Härtl, Alfons / Huber, Anton S. / Vogt, Richard | SAE Technical Papers | 1990
    Safety-critical electronic control units within automotive applications, such as four-wheel-drive, anti-lock braking systems, and airbag ...
    Publisher: Society of Automotive Engineers , SAE International
    Keywords: Airbag systems

    AMBERS: Improving requirements specification through assertive models and SCADE/ DOORS integration

    Fortes da Cruz, Marcelin / Raistrick, Paul | Tema Archive | 2007
    Development of requirements specifications is a key activity in the development of a system. Model based development techniques can help ...

    A Unified Frequency Understanding of Image Corruptions and its Application to Autonomous Driving

    Meng, Dejian / Zhang, Lijun / Tian, Wei et al. | SAE Technical Papers | 2023
    we present a new perspective of the relative Fourier spectrum in the YCbCr color space which unifies the noise from all 15 common corruptions ...
    Publisher: Society of Automotive Engineers , SAE International
    Keywords: Safety critical systems

    Software testing and IEC 61508 - project case study and further thoughts

    Flint, Wavne / Gilchrist, Ian | Tema Archive | 2009
    This paper describes the testing activities carried out by IPL during the development of a system to the safety standards mandated by IEC ...

    Implementation of a Local Interconnect Network over a DC-Bus for Reduction of a Vehicle Wiring Harness

    Quigley, Christopher / Yates, Neil / Faithfull, Paul et al. | SAE Technical Papers | 2016
    the bit rate to 115.2 Kbit/s and implementation of redundant channels for back-up to improve robustness for safety critical applications. ...
    Publisher: Society of Automotive Engineers , SAE International
    Keywords: Safety critical systems

    Benefits of reusing avionics components for ISO 26262 developments in cars

    Gerlach, Matthias / Weißleder, Stephan / Hilbrich, Robert | Tema Archive | 2011
    All systems in modern vehicles rely on software: safety-critical control systems of the car, engine-management, and comfort-functions like ...

    Trusting Delivery Drones Through Academic Experimentation

    Rangel, Pablo / Baca, José | Springer Verlag | 2024
    cause injury or property damage. Ensuring the safety of these cyber-physical systems is paramount, necessitating a robust evaluation of their ...

    Prozess zur simulationsbasierten Freigabe von Steuergerätesoftware

    Bewersdorff, Sebastian / Pfau, Joerg | Tema Archive | 2011
    funktionale Sicherheit und Regelgüte über die Eigenschaften des Gesamtfahrzeugs bewertet werde Audi und TESIS DYNAware entwickeln deshalb einen ...