A Domain-Specific Language for High-Consequence Control Software [electronic resource]
Saved in:
| Online Access: |
Full Text (via OSTI) |
|---|---|
| Corporate Author: | |
| Format: | Government Document Electronic eBook |
| Language: | English |
| Published: |
Washington, D.C. : Oak Ridge, Tenn. :
United States. National Nuclear Security Administration ; Distributed by the Office of Scientific and Technical Information, U.S. Department of Energy,
2019.
|
| Subjects: |
| Abstract: | While most software development for control systems is directed at what the system is supposed to do (i.e., function), high-consequence controls must account for what the system is not supposed to do (i.e., safety, security and reliability requirements). A Domain Specific Language (DSL) for high-consequence digital controls is proposed. As with similar tools for the design of controls, the DSL will have plug-in modules for common controller functions. However, the DSL will also augment these modules with attendant "templates" that aid in the proof of safety, security and reliability requirements, not available in current tools. The object is to create a development methodology that makes construction of high-assurance control systems as easy as controls that are designed for function alone. |
|---|---|
| Item Description: | Published through Scitech Connect. 12/01/2019. "SAND-2019-14897." "Other: 682156." Armstrong, Robert C. ; Hulette, Geoffrey Compton ; |
| Physical Description: | Size: 44 p. : digital, PDF file. |