A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems
Version 2 2024-06-03, 02:57
Version 1 2024-04-16, 01:53
journal contribution
posted on 2024-06-03, 02:57 authored by Roopak SinhaRoopak Sinha, S Patil, L Gomes, V VyatkinA Survey of Static Formal Methods for Building Dependable Industrial Automation Systems
History
Journal
IEEE Transactions on Industrial InformaticsVolume
15Pagination
3772-3783Location
Piscataway, N.J.Publisher DOI
ISSN
1551-3203eISSN
1941-0050Language
engPublication classification
C1.1 Refereed article in a scholarly journalIssue
7Publisher
Institute of Electrical and Electronics EngineersPublication URL
Usage metrics
Keywords
Automation & Control SystemsComputer ScienceComputer Science, Interdisciplinary ApplicationsEngineeringEngineering, IndustrialFormal methodsformal verificationFUNCTION BLOCK DIAGRAMSGENERATIONIEC 61131IEC 61499IMPLEMENTATIONindustrial automation systems (IAS)industrial controlMODELSREQUIREMENTSSAFETYScience & TechnologySECURITYSPECIFICATIONSYSMLTechnologyVERIFICATION
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC