An Empirical Study of Control Logic Specifications for Programmable Logic Controllers
Journal article, 2014
IEC 61131-3
industrial study
temporal logic
programmable logic controller (PLC)
software requirements and specification
formal specification
Author
Oscar Ljungkrantz
Chalmers, Signals and Systems, Systems and control
Knut Åkesson
Chalmers, Signals and Systems, Systems and control
Martin Fabian
Chalmers, Signals and Systems, Systems and control
Amir Hossein Ebrahimi
Chalmers, Signals and Systems, Systems and control
Empirical Software Engineering
1382-3256 (ISSN) 1573-7616 (eISSN)
Vol. 19 3 655-677Subject Categories
Computer and Information Science
Areas of Advance
Production
DOI
10.1007/s10664-012-9232-x