12 papers:
CASE-2015-RacchettiTF #automation #documentation #generative #lifecycle #usability- Generating automatically the documentation from PLC code by D4T3 to improve the usability and life cycle management of software in automation (LR, LT, CF), pp. 168–173.
- CASE-2015-ScottiPQC #composition #design
- Modular and systematic design of supervisory control system integrating PLC, SCADA and task routing for a modular production system (WAFS, NBP, MHdQ, JERC), pp. 807–812.
ICSME-2015-Vogel-HeuserFRF #automation #case study #challenge #hardware #industrial #maintenance- Challenges for maintenance of PLC-software and its related hardware for automated production systems: Selected industrial Case Studies (BVH, JF, SR, SF, SU), pp. 362–371.
CAV-2014-ChengHRS #automation #generative #named #source code- G4LTL-ST: Automatic Generation of PLC Programs (CHC, CHH, HR, SS), pp. 541–549.
ASE-2012-BiallasBK #framework #logic #programmable #verification- Arcade.PLC: a verification platform for programmable logic controllers (SB, JB, SK), pp. 338–341.
SEFM-2011-BlechB #coq #semantics #verification- Verification of PLC Properties Based on Formal Semantics in Coq (JOB, SOB), pp. 58–73.
ICST-2010-PavlovicE #diagrams #model checking- Model Checking PLC Software Written in Function Block Diagram (OP, HDE), pp. 439–448.
- CASE-2009-AlenljungL #graph #using #verification
- Formal verification of PLC controlled systems using Sensor Graphs (TA, BL), pp. 164–170.
ECMDA-FA-2008-BenderCCFBV #metamodelling #petri net #validation- Ladder Metamodeling and PLC Program Validation through Time Petri Nets (DFB, BC, XC, JMF, BB, FV), pp. 121–136.
- CASE-2007-AlenljungSLA #detection #fault #implementation #process
- PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems (TA, MS, BL, KÅ), pp. 207–212.
FASE-1998-Tapken #automaton #design #named #realtime- MOBY/PLC — A Design Tool for Hierarchical Real-Time Automata (JT), pp. 326–329.
ICSE-1997-BonfattiGM #case study #development #experience #process- An Improved Process for the Development of PLC Software (Experience Report) (FB, GG, PDM), pp. 400–410.
