The numerous benefits of automatic application code generation are widely accepted within the software engineering community. A few of these benefits include raising the abstraction level of application programming, shorter product development time, lower maintenance costs, and increased code quality and consistency. Surprisingly, code generation concepts have not yet found wide acceptance and use in the field of programmable logic controller (PLC) software development. Software engineers at the NASA Kennedy Space Center (KSC) recognized the need for PLC code generation while developing their new ground checkout and launch processing system. They developed a process and a prototype software tool that automatically translates a high-level representation or specification of safety critical application software into ladder logic that executes on a PLC. This process and tool are expected to increase the reliability of the PLC code over that which is written manually, and may even lower life-cycle costs and shorten the development schedule of the new control system at KSC. This paper examines the problem domain and discusses the process and software tool that were prototyped by the KSC software engineers.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Automated translation of safety critical application software specifications into PLC ladder logic


    Beteiligte:
    Leucht, K.W. (Autor:in) / Semmel, G.S. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2008


    Format / Umfang :

    14 Seiten, 16 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    Acquisition and Structuration of Knowledge of Safety-Critical Software Specifications

    Darricau, M. / Hadj-Mabrouk, H. / Ganascia, J.-G. et al. | British Library Conference Proceedings | 1997


    Requirements-based Automated Test Generation for Safety Critical Software

    Li, Meng / Meng, Baoluo / Yu, Han et al. | IEEE | 2019


    SAFETY TRANSITION LADDER

    HANDLIN JAMES E | Europäisches Patentamt | 2023

    Freier Zugriff

    LIGHTED SAFETY LADDER

    MAIORANA JAMES A | Europäisches Patentamt | 2018

    Freier Zugriff