1–20 von 26 Ergebnissen
|

    A novel framework for supporting the design of moving block train control system schemes

    Wang, Haifeng / Tang, Tao / Roberts, Clive et al. | SAGE Publications | 2014
    Schlagwörter: safety-critical software

    Software Sequential Testing Model

    Schneidewind, Norman F. | AIAA | 2008
    Schlagwörter: Safety Critical Software

    Redefining rail systems verification and validation: The safety/security STAIRCASE model

    Freier Zugriff
    Bearfield, George / Van Gulijk, Coen / Thomas, Richard James | SAGE Publications | 2023
    Schlagwörter: safety-critical software

    Communication paradigms for high-integrity distributed systems with hard real-time requirements

    Uruena, Santiago / Zamorano, Juan / Pulido, Jose A. et al. | Tema Archiv | 2008
    Schlagwörter: Safety-Critical-Software-Design

    Computing worst-case response times in real-time avionics applications

    Rangarajan, Murali / Cofer, Darren | Tema Archiv | 2008
    Schlagwörter: Safety-Critical-Software-Design

    High integrity real-time software

    Allerton, D J | SAGE Publications | 2007
    Schlagwörter: safety critical software

    Landing Gear System: An ASM-Based Solution for the ABZ Case Study

    Kossak, Felix | Springer Verlag | 2014
    Schlagwörter: Safety-critical software

    Software Production Process for Safety Critical Software

    Schneidewind, Norman | AIAA | 2008
    Schlagwörter: Safety Critical Software

    Utilizing Event-B for domain engineering: a critical analysis

    Mashkoor, Atif / Jacquot, Jean-Pierre | Tema Archiv | 2011
    Schlagwörter: Safety-Critical-Software-Design

    Review of Formal Agile Methods as Cost-Effective Airworthiness Certification Processes

    Blooshi, Mouza Al / Jafer, Shafer / Patel, Krishan | AIAA | 2018
    Schlagwörter: Safety Critical Software

    Safe RTI systems-a proposal for a standard

    Jesty, P.H. / Buckley, T.F. / West, M.M. | Tema Archiv | 1991
    Schlagwörter: SAFETY-CRITICAL SOFTWARE

    The application of multiple team inspections on a safety-critical software standard

    Tripp, L.L. / Struck, W.F. / Pflug, B.K. | Tema Archiv | 1991
    Schlagwörter: SAFETY-CRITICAL SOFTWARE STANDARD

    Safety critical software in traffic control systems

    Reed, W. | Tema Archiv | 1990
    Schlagwörter: SAFETY-CRITICAL SOFTWARE

    Formalized conceptualization for the harmonization of the legal framework in railway transportation

    Schnieder, Eckehard | Tema Archiv | 2008
    Schlagwörter: Safety-Critical-Software-Design

    A methodology for analyzing avionics software safety

    De Santo, B. | Tema Archiv | 1988
    Schlagwörter: SAFETY CRITICAL SOFTWARE FUNCTIONS , SAFETY CRITICAL SOFTWARE PATHS

    Reliability modeling for safety-critical software

    Schneidewind, N.F. | Tema Archiv | 1997
    Schlagwörter: safety-critical software

    To live or drown: when information systems become critical

    Mills, S. | Tema Archiv | 1995
    Schlagwörter: safety-critical software

    Integrated toolset for high-integrity system verification and validation support (avionics)

    Cabos, R.P. | Tema Archiv | 1990
    Schlagwörter: FLIGHT SAFETY CRITICAL SOFTWARE

    Fly-By-Wire

    Collinson, R. P. G. | Springer Verlag | 2023
    Schlagwörter: Flight control safety critical software