A systematic mapping of semi-formal and formal methods in requirements engineering of industrial Cyber-Physical systems

[1]  Jivka Ovtcharova,et al.  A Guideline for the Requirements Engineering Process of SMEs Regarding to the Development of CPS , 2019, 2019 8th International Conference on Industrial Technology and Management (ICITM).

[2]  Xiaoyu Song,et al.  Formal modeling and synthesis of programmable logic controllers , 2011, Comput. Ind..

[3]  Davide Bresolin,et al.  Formal Verification of Medical CPS , 2018, ACM Trans. Cyber Phys. Syst..

[4]  Goran Cengic,et al.  On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics , 2010, IEEE Transactions on Industrial Informatics.

[5]  Kai Petersen,et al.  Guidelines for conducting systematic mapping studies in software engineering: An update , 2015, Inf. Softw. Technol..

[6]  Peter Csaba Ölveczky,et al.  Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study , 2015, Sci. Comput. Program..

[7]  Klaus-Dieter Thoben,et al.  Cyber-Physical Product-Service Systems - Challenges for Requirements Engineering , 2017, Int. J. Autom. Technol..

[8]  Edward A. Lee,et al.  Systems Engineering for Industrial Cyber–Physical Systems Using Aspects , 2016, Proceedings of the IEEE.

[9]  Alberto Sangiovanni-Vincentelli,et al.  Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design , 2019, ACM Trans. Embed. Comput. Syst..

[10]  Okyay Kaynak,et al.  Industrial Cyberphysical Systems: A Backbone of the Fourth Industrial Revolution , 2017, IEEE Industrial Electronics Magazine.

[11]  Daniel Jackson,et al.  Model-Based Security Analysis of a Water Treatment System , 2016, 2016 IEEE/ACM 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS).

[12]  Valeriy Vyatkin,et al.  Formal Modelling of Distributed Automation CPS with CP-Agnostic Software , 2016, SOHOMA.

[13]  Ali Siadat,et al.  Concept and engineering development of cyber physical production systems: a systematic literature review , 2020, The International Journal of Advanced Manufacturing Technology.

[14]  William H. Sanders,et al.  Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE) , 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.

[15]  Xin Chen,et al.  Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior , 2011, SIGBED.

[16]  Sridhar Adepu,et al.  An Investigation into the Response of a Water Treatment System to Cyber Attacks , 2016, 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE).

[17]  Thomas Thüm,et al.  Skill-Based Verification of Cyber-Physical Systems , 2020, FASE.

[18]  Claes Wohlin,et al.  Systematic literature studies: Database searches vs. backward snowballing , 2012, Proceedings of the 2012 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement.

[19]  Tao Tang,et al.  Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL , 2015, Science China Information Sciences.

[20]  Peter Csaba Ölveczky,et al.  Semantics and pragmatics of Real-Time Maude , 2007, High. Order Symb. Comput..

[21]  Srini Ramaswamy,et al.  Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL , 2016, Microprocess. Microsystems.

[22]  Klaus-Dieter Thoben,et al.  Challenges for Requirements Engineering of Cyber-Physical Systems in Distributed Environments , 2015, APMS.

[23]  Roel Wieringa,et al.  Requirements engineering paper classification and evaluation criteria: a proposal and a discussion , 2005, Requirements Engineering.

[24]  Lichen Zhang,et al.  Specifying and Modeling Automotive Cyber Physical Systems , 2013, 2013 IEEE 16th International Conference on Computational Science and Engineering.

[25]  Dejan Nickovic,et al.  Automatic Failure Explanation in CPS Models , 2019, SEFM.

[26]  Valeriy Vyatkin,et al.  TORUS , 2018, ACM Trans. Cyber Phys. Syst..

[27]  Martin Gogolla,et al.  A feature-based classification of formal verification techniques for software models , 2017, Software & Systems Modeling.

[28]  Chuang Lin,et al.  A PetriNet-Based Approach for Supporting Traceability in Cyber-Physical Manufacturing Systems , 2016, Sensors.

[29]  Valeriy Vyatkin,et al.  Simulation-Enhanced Development of Industrial Cyber-Physical Systems Using OPC-UA and IEC 61499 , 2017, HoloMAS.

[30]  Lichen Zhang.  Aspect-oriented modeling for railway control systems , 2013, 2013 IEEE International Conference on Information and Automation (ICIA).

[31]  Jumyung Um,et al.  The architecture development of Industry 4.0 compliant smart machine tool system (SMTS) , 2020, J. Intell. Manuf..

[32]  Lichen Zhang.  Formal Specification for Real Time Cyber Physical Systems Using Aspect-Oriented Approach , 2011, 2011 Fifth International Conference on Theoretical Aspects of Software Engineering.

[33]  Alberto L. Sangiovanni-Vincentelli,et al.  CHASE: Contract-based requirement engineering for cyber-physical system design , 2018, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[34]  Sangdong Kim,et al.  Low-Complexity Joint Range and Doppler FMCW Radar Algorithm Based on Number of Targets , 2020, Sensors.

[35]  Ping Zhang,et al.  A Model-Based Service-Oriented Integration Strategy for Industrial CPS , 2016 .

[36]  Ping Huang,et al.  pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems , 2018, Sci. Comput. Program..

[37]  João Pascoal Faria,et al.  Towards Real-Time Patient Prioritization in Hospital Emergency Services , 2018, 2018 IEEE 20th International Conference on e-Health Networking, Applications and Services (Healthcom).

[38]  Eric Bodden,et al.  Security-Oriented Fault-Tolerance in Systems Engineering: A Conceptual Threat Modelling Approach for Cyber-Physical Production Systems , 2020, KKA.

[39]  Valeriy Vyatkin,et al.  Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems , 2015, 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS).

[40]  Yassine Mhandi,et al.  Impact of clustering microgrids on their stability and resilience during blackouts , 2015, 2015 International Conference on Smart Grid and Clean Energy Technologies (ICSGCE).

[41]  Luis Garcia,et al.  HyPLC: hybrid programmable logic controller program translation for verification , 2019, ICCPS.

[42]  Paul Pettersson,et al.  Analyzing a wind turbine system: From simulation to formal verification , 2017, Sci. Comput. Program..

[43]  Pericles Loucopoulos,et al.  Requirements Engineering for Cyber Physical Production Systems , 2019, CAiSE.

[44]  Qin Lin,et al.  TABOR: A Graphical Model-based Approach for Anomaly Detection in Industrial Control Systems , 2018, AsiaCCS.

[45]  Luigi Di Guglielmo,et al.  Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems , 2017, IMBSA.

[46]  Luca Aceto,et al.  Reactive Systems: Modelling, Specification and Verification , 2007 .

[47]  Juan You,et al.  A survey on formal methods using in software development , 2012 .

[48]  Goiuria Sagardui Mendieta,et al.  Product Line Engineering of Monitoring Functionality in Industrial Cyber-Physical Systems: A Domain Analysis , 2017, SPLC.

[49]  Pericles Loucopoulos,et al.  System Requirements Engineering , 1995, System Requirements Engineering.

[50]  Jacques Sakarovitch,et al.  Elements of Automata Theory , 2009 .

[51]  Tharam S. Dillon,et al.  Implementation of Industrial Cyber Physical System: Challenges and Solutions , 2019, 2019 IEEE International Conference on Industrial Cyber Physical Systems (ICPS).

[52]  Rosane Minghim,et al.  An Approach Based on Visual Text Mining to Support Categorization and Classification in the Systematic Mapping , 2010, EASE.

[53]  Katherine C. Morris,et al.  Current Standards Landscape for Smart Manufacturing Systems , 2016 .

[54]  Carlo Ghezzi,et al.  Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration , 2020, J. Syst. Softw..

[55]  Richard E. Fairley,et al.  Guide to the Software Engineering Body of Knowledge (SWEBOK(R)): Version 3.0 , 2014 .

[56]  Dieter Rombach,et al.  A Systematic Identification of Formal and Semi-Formal Languages and Techniques for Software-Intensive Systems-of-Systems Requirements Modeling , 2019, IEEE Systems Journal.

[57]  Peter Van Roy,et al.  Concepts, Techniques, and Models of Computer Programming , 2004 .

[58]  Rizwan Ahmed,et al.  Simulation in business and industry: how simulation context can affect simulation practice? , 2007, SpringSim '07.

[59]  Stephen J. Garland,et al.  Larch: Languages and Tools for Formal Specification , 1993, Texts and Monographs in Computer Science.

[60]  Xian Wu,et al.  A Semi-Formal Requirement Modeling Pattern for Designing Industrial Cyber-Physical Systems , 2019, IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society.

[61]  Srinivasan Keshav,et al.  How to read a paper , 2007, CCRV.

[62]  Jiacun Wang,et al.  Petri Nets for Dynamic Event-Driven System Modeling , 2007, Handbook of Dynamic System Modeling.

[63]  Sagar Chaki,et al.  High Assurance for Distributed Cyber Physical Systems , 2015, ECSA Workshops.

[64]  Iwona Grobelna,et al.  Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets , 2020, Sensors.

[65]  Cristina Cachero,et al.  Requirements modeling languages for software product lines: A systematic literature review , 2016, Inf. Softw. Technol..

[66]  Osman Hasan,et al.  Formal analysis of the continuous dynamics of cyber-physical systems using theorem proving , 2020, J. Syst. Archit..

[67]  D. Bouskela,et al.  Toward a Rigorous Approach for Verifying Cyber-Physical Systems Against Requirements , 2017, Canadian Journal of Electrical and Computer Engineering.

[68]  Birgit Penzenstadler,et al.  A Requirements Engineering content model for Cyber-Physical Systems , 2012, 2012 Second IEEE International Workshop on Requirements Engineering for Systems, Services, and Systems-of-Systems (RESS).

[69]  Arvinder Kaur,et al.  A comparative study of two formal specification languages: Z-notation & B-method , 2012, CCSEIT '12.

[70]  Jean-Pierre Talpin,et al.  Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow , 2019, UTP.

[71]  Anh Nguyen-Duc,et al.  A Systematic Mapping Study on Requirements Engineering in Software Ecosystems , 2017, J. Inf. Technol. Res..

[72]  Shao Yu-zhen,et al.  A model for vehicular Cyber-Physical System based on extended hybrid automaton , 2013, 2013 8th International Conference on Computer Science & Education.

[73]  Pearl Brereton,et al.  Systematic literature reviews in software engineering - A tertiary study , 2010, Inf. Softw. Technol..

[74]  Peter Csaba Ölveczky,et al.  Formalization and correctness of the PALS architectural pattern for distributed real-time systems , 2012, Theor. Comput. Sci..

[75]  Christine Julien,et al.  Verification and Validation in Cyber Physical Systems: Research Challenges and a Way Forward , 2015, 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems.

[76]  Fiorenzo Franceschini,et al.  Empirical analysis and classification of database errors in Scopus and Web of Science , 2016, J. Informetrics.

[77]  Raffaela Mirandola,et al.  Engineering cyber‐physical systems through performance‐based modelling and analysis: A case study experience report , 2019, J. Softw. Evol. Process..

[78]  Muhammad Zohaib Z. Iqbal,et al.  Landscaping systematic mapping studies in software engineering: A tertiary study , 2019, J. Syst. Softw..

[79]  Peter O. Denno,et al.  Virtual Design and Verification of Cyber-physical Systems: Industrial Process Plant Design , 2014, CSER.

[80]  Glenn A. Fink,et al.  Security and Privacy in Cyber-Physical Systems , 2017 .

[81]  Tore Dybå,et al.  Applying Systematic Reviews to Diverse Study Types: An Experience Report , 2007, ESEM 2007.

[82]  Lichen Zhang.  Modeling railway cyber physical systems based on AADL , 2013, 2013 19th International Conference on Automation and Computing.

[83]  Jeffrey D. Ullman,et al.  Introduction to automata theory, languages, and computation, 2nd edition , 2001, SIGA.

[84]  Jiseob Kim,et al.  Suggestion of Testing Method for Industrial Level Cyber-Physical System in Complex Environment , 2019, 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

[85]  Luigi Vanfretti,et al.  Software requirements for interoperable and standard-based power system modeling tools , 2020, Simul. Model. Pract. Theory.

[86]  Lionel C. Briand,et al.  Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors , 2019, ESEC/SIGSOFT FSE.

[87]  Leandro Buss Becker,et al.  Applying Integrated Formal Methods on CPS Design , 2019, 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC).

[88]  William Derigent,et al.  Industry 4.0: contributions of holonic manufacturing control architectures and future challenges , 2020, Journal of Intelligent Manufacturing.

[89]  Atif Mashkoor,et al.  Ensuring safe and consistent coengineering of cyber‐physical production systems: A case study , 2020 .

[90]  Oliver Niggemann,et al.  Anomaly Detection and Localization for Cyber-Physical Production Systems with Self-Organizing Maps , 2018 .

[91]  Ercan Öztemel,et al.  Literature review of Industry 4.0 and related technologies , 2018, J. Intell. Manuf..

[92]  Boonserm Kulvatunyou,et al.  Toward Manufacturing System Composability Analysis: A Use Case Scenario , 2014, APMS.

[93]  Umair Siddique,et al.  Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper) , 2019, FTSCS.

[94]  Sazia Parvin,et al.  Formal Verification of Control Strategies for a Cyber Physical System , 2017, 2017 IEEE 37th International Conference on Distributed Computing Systems Workshops (ICDCSW).

[95]  Tim Bray,et al.  Internet Engineering Task Force (ietf) the Javascript Object Notation (json) Data Interchange Format , 2022 .

[96]  Bruce M. McMillin,et al.  Model-Checking BNDC Properties in Cyber-Physical Systems , 2009, 2009 33rd Annual IEEE International Computer Software and Applications Conference.

[97]  Daniel Bouskela,et al.  ETL: A new temporal language for the verification of cyber-physical systems , 2018, 2018 Annual IEEE International Systems Conference (SysCon).

[98]  Carlo Ghezzi,et al.  Formal Methods in Designing Critical Cyber-Physical Systems , 2019, From Software Engineering to Formal Methods and Tools, and Back.

[99]  Ezio Bartocci,et al.  CPSDebug: a tool for explanation of failures in cyber-physical systems , 2020, ISSTA.

[100]  Christine Julien,et al.  Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems , 2017, IEEE Systems Journal.

[101]  Mark Ryan,et al.  Logic in Computer Science: Modelling and Reasoning about Systems , 2000 .

[102]  Guenther Ruhe,et al.  Impact Analysis of Missing Values on the Prediction Accuracy of Analogy-based Software Effort Estimation Method AQUA , 2007, ESEM 2007.

[103]  Lichen Zhang,et al.  Modeling large scale complex cyber physical control systems based on system of systems engineering approach , 2014, 2014 20th International Conference on Automation and Computing.

[104]  M. Nyberg,et al.  Specifying and Structuring Requirements on Cyber-Physical Systems using Contracts , 2014 .

[105]  Olivier Barais,et al.  Modeling languages in Industry 4.0: an extended systematic mapping study , 2019, Software and Systems Modeling.

[106]  Sridhar Adepu,et al.  Introducing Cyber Security at the Design Stage of Public Infrastructures: A Procedure and Case Study , 2016, CSDM Asia.

[107]  Lionel C. Briand,et al.  Evaluating model testing and model checking for finding requirements violations in Simulink models , 2019, ESEC/SIGSOFT FSE.

[108]  Osman Hasan,et al.  Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements , 2013, ICCSA.

[109]  Marc Geilen,et al.  Software/Hardware Engineering with the Parallel Object-Oriented Specification Language , 2007, 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007).

[110]  Valeriy Vyatkin,et al.  Towards formal ASM semantics of timed control systems for industrial CPS , 2019, 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA).

[111]  Iwona Grobelna,et al.  Formal Verification of Control Modules in Cyber-Physical Systems , 2020, Sensors.

[112]  Marta Peris-Ortiz,et al.  Sustainable Smart Cities , 2017 .

[113]  Robert Harrison,et al.  Industrial Cloud-Based Cyber-Physical Systems: The IMC-AESOP Approach , 2014 .

[114]  Narciso Martí-Oliet,et al.  All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic , 2007, All About Maude.

[115]  Hilding Elmqvist,et al.  Modelica — A unified object-oriented language for physical systems modeling , 1997 .

[116]  Carlos Eduardo Pereira,et al.  An Analysis of the Value Specification Language Applied to the Requirements Engineering Process of Cyber-Physical Systems , 2016 .

[117]  Toni Mancini,et al.  Parallel Statistical Model Checking for Safety Verification in Smart Grids , 2018, 2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm).

[118]  Edward A. Lee,et al.  Industrial Cyber-Physical Systems - iCyPhy , 2013, CSDM.

[119]  C.J.H. Mann,et al.  A Practical Guide to SysML: The Systems Modeling Language , 2009 .

[120]  Lichen Zhang.  Requirement Specification for Transportation Cyber Physical Systems , 2013, 2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing.

[121]  Eun-Young Kang,et al.  Formal verification of energy and timed requirements for a cooperative automotive system , 2018, SAC.

[122]  Sridhar Adepu,et al.  Using Process Invariants to Detect Cyber Attacks on a Water Treatment System , 2016, SEC.

[123]  Manfred Mühlfelder.  Analysis and Design of a Cyber-Physical Production System (CPPS) in Sensor Manufacturing. A Case Study , 2018 .

[124]  Michel A. Reniers,et al.  The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis , 2019, FMICS.

[125]  Alejandra Corichi García,et al.  Sustainable Smart Cities. Creating Spaces for Technological, Social and Business Development , 2018 .

[126]  Alie El-Din Mady,et al.  Validation of Industrial Cyber-Physical Systems: An Application to HVAC Systems , 2016, CSDM.

[127]  Markus Hofmann,et al.  RapidMiner: Data Mining Use Cases and Business Analytics Applications , 2013 .

[128]  Jing Liu,et al.  Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic , 2015, 2015 Asia-Pacific Software Engineering Conference (APSEC).

[129]  Ahmed Hadj Kacem,et al.  Formal Verification approaches of Self-adaptive Systems: A Survey , 2019, KES.

[130]  Anthony Hall,et al.  Realising the Benefits of Formal Methods , 2005, J. Univers. Comput. Sci..

[131]  A.K.Sharma Dr. A.K.Sharma.  Comparison of the Formal Specification Languages Based Upon Various Parameters , 2013 .

[132]  Lichen Zhang,et al.  Formal Specification of Cyber Physical Systems: Three Case Studies Based on Clock Theory , 2013, 2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing.

[133]  Christoph Ruland,et al.  Formalization of smart metering requirements , 2010, S&D4RCES '10.

[134]  Li Huang,et al.  Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems , 2019, 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS).

[135]  Darren D. Cofer,et al.  Study on the Barriers to the Industrial Adoption of Formal Methods , 2013, FMICS.

[136]  Birgit Vogel-Heuser,et al.  Model-driven Engineering of Manufacturing Automation Software Projects - A SysML-based Approach , 2014, ArXiv.

[137]  Valeriy Vyatkin,et al.  A Case Study on Knowledge Driven Code Generation for Software-Defined Industrial Cyber-Physical Systems , 2018, IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society.

[138]  Andrew William Roscoe,et al.  The Theory and Practice of Concurrency , 1997 .

[139]  Soundar R. T. Kumara,et al.  Cyber-physical systems in manufacturing , 2016 .

[140]  Edmund M. Clarke,et al.  Statistical Model Checking for Cyber-Physical Systems , 2011, ATVA.

[141]  Peter H. Feiler,et al.  Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language , 2012 .

[142]  Bernhard Rumpe,et al.  The UML as a formal modeling notation , 1998, Comput. Stand. Interfaces.

[143]  Atif Mashkoor,et al.  Formal Probabilistic Analysis of Cyber-Physical Transportation Systems , 2012, ICCSA.