Run-time analysis of time-critical systems

Zhou, Shikun; Zedan, Hussein; Cau, Antonio

doi:10.1016/j.sysarc.2004.12.003

Cited by 11 publications

(7 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The underlying Tempura engine that was adapted to run on Arduino technology rewrites a formula in checking that the current state of the system conforms to the specification before reducing the formula to the future part, in effect advancing to the next state. Concrete details and a more theoretical treatment can be found in [29]. This approach is shared with a number of other works that are based on rewrite systems [29][30][31][32][33].…”

Section: Related Workmentioning

confidence: 99%

“…Concrete details and a more theoretical treatment can be found in [29]. This approach is shared with a number of other works that are based on rewrite systems [29][30][31][32][33]. The correctness property is first rewritten into a normal form and the rewrite system is used to constantly rewrite the property as one checks the execution of the system.…”

Section: Related Workmentioning

confidence: 99%

“…Interval Temporal Logic (ITL) is a flexible notation for both propositional and first-order reasoning about periods of time found in descriptions of hardware and software systems [29]. Unlike most temporal logics, ITL can handle both sequential and parallel composition and offers powerful and extensible specification and proof techniques for reasoning about properties involving safety, liveness and projected time.…”

Section: Runtime Monitoring Interval Temporal Logicmentioning

confidence: 99%

“…In this section we revisit the standard semantics of Interval Temporal Logic [15] (albeit restricted to the finite case) ITL is the underlying formalism of the AnaTempura Runtime Verification Framework [29] which uses an executable subset of ITL called Tempura developed by [40,41].…”

Section: Syntax and Informal Semanticsmentioning

confidence: 99%

See 3 more Smart Citations

Runtime-Monitoring for Industrial Control Systems

et al. 2015

Self Cite

View full text Add to dashboard Cite

Industrial Control Systems (ICS) are widely deployed in nation's critical national infrastructures such as utilities, transport, banking and health-care. Whilst Supervisory Control and Data Acquisition (SCADA) systems are commonly deployed to monitor real-time data and operations taking place in the ICS they are typically not equipped to monitor the functional behaviour of individual components. In this paper (This paper expands on an earlier position paper presented at the International Symposium for Industrial Control System and SCADA Cyber Security Research 2014), we are presenting a runtime-monitoring technology that provides assurances of the functional behaviour of ICS components and demonstrates how this can be used to provide additional protection of the ICS against cyber attacks similar to the well-known Stuxnet attack.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: Runtime Monitoring Interval Temporal Logicmentioning

confidence: 99%

Section: Syntax and Informal Semanticsmentioning

confidence: 99%

See 2 more Smart Citations

Runtime-Monitoring for Industrial Control Systems

et al. 2015

Self Cite

View full text Add to dashboard Cite

show abstract

“…Interval Temporal Logic (ITL) is a flexible notation for both propositional and first-order reasoning about periods of time found in descriptions of hardware and software systems (Zhou et al 2005). Unlike most temporal logics, ITL can handle both sequential and parallel composition and offers powerful and extensible specification and proof techniques for reasoning about properties involving safety, liveness and projected time.…”

Section: Application Of Itl In Ics/scada Systemsmentioning

confidence: 99%

Position Paper: Safety and Security Monitoring in ICS/SCADA Systems

Nicholson

Janicke

Cau

2014

Electronic Workshops in Computing

Self Cite

View full text Add to dashboard Cite

Supervisory control and Data Acquisition (SCADA) systems play a core role in a nation's critical infrastructure, overseeing the monitoring and control of systems in electricity, gas supply, logistics services, banks and hospitals. Monitoring safety and security properties in industrial control system (ICS) and SCADA environments faces unique challenges not found in typical enterprise networks. Novel monitoring solutions are desirable that take into account these differences. This paper presents a new approach for monitoring safety and security properties in industrial control systems. The approach is based on verifying a formal specification of ICS/SCADA components during runtime that is capable of detecting abnormal system behaviours. The solution is miniaturised and can be deployed at various points throughout the SCADA network, making masquerading and man-in-the-middle attacks more difficult to execute successfully.

show abstract