Automated Translation of Safety Critical Application Software Specifications into PLC Ladder Logic

Leucht, Kurt W.; Semmel, Glenn S.

doi:10.1109/aero.2008.4526587

Cited by 3 publications

(6 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…PLCs are often programmed in multiple ways. The most common of which include the use of ladder logic [61]; function blocks [62] and high level programming languages [63], [64].…”

Section: Figure 1 Critical Infrastructure Layersmentioning

confidence: 99%

“…The communication links are responsible for proficient communication and usually consist of fibre optics, microwave, telephone lines, pilot cables, radio or satellite [61], [66]. The SCADA system is typically software, which enables the operator to interact with the MTU and observe the on-going activities in the infrastructure [82].…”

Section: Control System Typesmentioning

confidence: 99%

See 1 more Smart Citation

Behavioural Observation for Critical Infrastructure Security Support

Hurst

Merabti

Fergus

2013

2013 European Modelling Symposium

View full text Add to dashboard Cite

“…PLCs are often programmed in multiple ways. The most common of which include the use of ladder logic [61]; function blocks [62] and high level programming languages [63], [64].…”

Section: Figure 1 Critical Infrastructure Layersmentioning

confidence: 99%

Section: Control System Typesmentioning

confidence: 99%

Behavioural Observation for Critical Infrastructure Security Support

Hurst

Merabti

Fergus

2013

2013 European Modelling Symposium

View full text Add to dashboard Cite

“…This is of particular concern considering that LCS application developers are intended to be systems engineers. For this reason, LCS proof-of-concept team members at KSC developed a prototype Tabular DSL that was interpreted using the Python DSL as execution engine [7]. A tabular program consists of a sequence of lines, each line representing a DSL construct.…”

Section: Tabular Dslmentioning

confidence: 99%

Prototyping a Domain-Specific Language for Monitor and Control Systems

Bennett

Borgen

Havelund

et al. 2010

Journal of Aerospace Computing, Information, and Communication

View full text Add to dashboard Cite

This paper describes a domain-specific language prototype developed for the NASA Constellation launch control system project. A key element of the launch control system architecture, the domain-specific language prototype is a specialized monitor and control language composed of constructs for specifying and programming test, checkout, and launch processing applications for flight and ground systems. The principal objectives of the prototyping activity were to perform a proof-of-concept of an approach to ultimately lower the lifecycle costs of application software for the launch control system, and to explore mitigations for a number of development risks perceived by the project. The language has been implemented as a library that extends the dynamically-typed Python scripting language, and validated in a demonstration of capability required for Constellation. A study of the statically typed Scala programming language as an alternative domain-specific language implementation language is also presented.

show abstract

“…In addition, the DSL layer includes classes that contain methods for publishing such objects to the middleware, that is, methods for publishing measurements, commands, messages, and dialogs. For example 6 , the measurement service class offers three methods (amongst others):…”

Section: The Python Dslmentioning

confidence: 99%

“…This is of particular concern considering that LCS application developers are intended to be systems engineers. For this reason, LCS proof-of-concept team members at KSC developed a prototype Tabular DSL that was interpreted using the Python DSL as execution engine [6]. A tabular program consists of a sequence of lines, each line representing a DSL construct.…”

Section: Tabular Dslmentioning

confidence: 99%

Development of a Prototype Domain-Specific Language for Monitor and Control Systems

Bennett

Borgen

Havelund

et al. 2008

2008 IEEE Aerospace Conference

View full text Add to dashboard Cite

Abstract-This paper describes the Domain-Specific Language (DSL) prototype developed for the NASA Constellation Launch Control System (LCS) project. A key element of the LCS architecture, the DSL prototype is a specialized monitor and control language composed of constructs for specifying and programming test, checkout, and launch processing applications for flight and ground systems. The principal objectives of the prototyping activity were to perform a proof-of-concept of an approach to ultimately lower the lifecycle costs of application software for the LCS, and to explore mitigations for a number of development risks perceived by the project. The language has been implemented as a library that extends the Python scripting language, and validated in a successful demonstration of capability required for Constellation.

show abstract

Automated Translation of Safety Critical Application Software Specifications into PLC Ladder Logic

Cited by 3 publications

References 6 publications

Behavioural Observation for Critical Infrastructure Security Support

Behavioural Observation for Critical Infrastructure Security Support

Prototyping a Domain-Specific Language for Monitor and Control Systems

Development of a Prototype Domain-Specific Language for Monitor and Control Systems

Contact Info

Product

Resources

About