Model-based security engineering for cyber-physical systems: A systematic mapping study
Integrity signals
Registry
Cites
Statistics
Claims the paper makes
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
The focus of most of the surveys for CPS is on security and privacy.
“The focus of most of the surveys for CPS is on security and privacy (e.g., [84,85,93,96,102,112,113,119,124]).”
From A Systematic Review of Data Quality in CPS and IoT for Industry 4.0 (2023) · cites this paper as [124]
Cites
Wohlin, C. (2014) · Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering · doi:10.1145/2601248.2601268 · Cited by 4,234 · see citing works
Systematic Mapping Studies in Software Engineering
Petersen, K., Feldt, R., Mujtaba, S., & Mattsson, M. (2008) · Electronic Workshops in Computing · doi:10.14236/ewic/ease2008.8 · Cited by 3,239 · see citing works
Guidelines for conducting systematic mapping studies in software engineering: An update
Petersen, K., Vakkalanka, S., & Kuzniarz, L. (2015) · Information and Software Technology · doi:10.1016/j.infsof.2015.03.007 · Cited by 2,669 · see citing works
Rajkumar, R., Lee, I., Sha, L., & Stankovic, J. A. (2010) · ACM/IEEE Design Automation Conference (DAC) · doi:10.1145/1837274.1837461 · Cited by 1,990 · see citing works
Computer Security: Art and Science
Bishop, M. (2002) · Cited by 1,234 · see citing works
Cyber–Physical System Security for the Electric Power Grid
Sridhar, S., Hahn, A., & Govindarasu, M. (2011) · Proceedings of the IEEE · doi:10.1109/jproc.2011.2165269 · Cited by 1,219 · see citing works
Cyber security in the Smart Grid: Survey and challenges
Wang, W., & Lu, Z. (2013) · Computer Networks · doi:10.1016/j.comnet.2012.12.017 · Cited by 1,133 · see citing works
Requirements engineering paper classification and evaluation criteria: a proposal and a discussion
Wieringa, R., Maiden, N., Mead, N., & Rolland, C. (2006) · Requirements Engineering · doi:10.1007/s00766-005-0021-6 · Cited by 940 · see citing works
Secure Control: Towards Survivable Cyber-Physical Systems
Cardenas, A. A., Amin, S., & Sastry, S. (2008) · 2008 The 28th International Conference on Distributed Computing Systems Workshops · doi:10.1109/icdcs.workshops.2008.40 · Cited by 911 · see citing works
Model transformation: the heart and soul of model-driven software development
Sendall, S., & Kozaczynski, W. (2003) · IEEE Software · doi:10.1109/ms.2003.1231150 · Cited by 812 · see citing works
Design Techniques and Applications of Cyberphysical Systems: A Survey
Khaitan, S. K., & McCalley, J. D. (2014) · IEEE Systems Journal · doi:10.1109/jsyst.2014.2322503 · Cited by 796 · see citing works
Software Security: Building Security In
McGraw, G. E. (2006) · Proceedings/Proceedings - International Symposium on Software Reliability Engineering · doi:10.1109/issre.2006.43 · Cited by 792 · see citing works
A survey of intrusion detection techniques for cyber-physical systems
Mitchell, R., & Chen, I.-R. (2014) · ACM Computing Surveys · doi:10.1145/2542049 · Cited by 768 · see citing works
Using mapping studies as the basis for further research – A participant-observer case study
Kitchenham, B. A., Budgen, D., & Brereton, O. P. (2010) · Information and Software Technology · doi:10.1016/j.infsof.2010.12.011 · Cited by 639 · see citing works
Systematic Review in Software Engineering
Biolchini, J. C. D. A., & Mian, P. G. (2005) · Cited by 564 · see citing works
Stuxnet worm impact on industrial cyber-physical system security
Karnouskos, S. (2011) · Annual Conference of the IEEE Industrial Electronics Society (IECON) · doi:10.1109/iecon.2011.6120048 · Cited by 542 · see citing works
Model-Driven Software Engineering in Practice
Brambilla, M., Cabot, J., & Wimmer, M. (2012) · Synthesis lectures on software engineering · doi:10.2200/s00441ed1v01y201208swe001 · Cited by 541 · see citing works
The Security Development Lifecycle
Howard, M. D., & Lipner, S. (2006) · Microsoft Press eBooks · Cited by 502 · see citing works
Systems of Systems Engineering
Nielsen, C. B., Larsen, P. G., Fitzgerald, J. S., et al. (2015) · ACM Computing Surveys · doi:10.1145/2794381 · Cited by 457 · see citing works
A Survey on Concepts, Applications, and Challenges in Cyber-Physical Systems
Gunes, V., Peter, S., Givargis, T. D., et al. (2014) · KSII Transactions on Internet and Information Systems · doi:10.3837/tiis.2014.12.001 · Cited by 392 · see citing works
Model-Driven Software Engineering in Practice
Brambilla, M., Cabot, J., & Wimmer, M. (2012) · Synthesis lectures on software engineering · doi:10.1007/978-3-031-02546-4 · Cited by 358 · see citing works
Strength of evidence in systematic reviews in software engineering
Dybå, T., & Dingsøyr, T. (2008) · Proceedings of the ... ACM-IEEE International Symposium on Empirical Software Engineering and Measurement/International Symposium on Empirical Software Engineering and Measurement · doi:10.1145/1414004.1414034 · Cited by 263 · see citing works
Petri Net Modeling of Cyber-Physical Attacks on Smart Grid
Chen, T., Sánchez-Aarnoutse, J. C., & Buford, J. (2011) · IEEE Transactions on Smart Grid · doi:10.1109/tsg.2011.2160000 · Cited by 253 · see citing works
A Classification Framework for Software Component Models
Crnković, I., Sentilles, S., Vulgarakis, A., et al. (2010) · IEEE Transactions on Software Engineering · doi:10.1109/tse.2010.83 · Cited by 248 · see citing works
A model-based design methodology for cyber-physical systems
Jensen, J. C., Chang, D. H., & Lee, E. A. (2011) · International Wireless Communications and Mobile Computing Conference (IWCMC) · doi:10.1109/iwcmc.2011.5982785 · Cited by 240 · see citing works
Model Driven Engineering: An Emerging Technical Space
Bézivín, J. (2006) · Lecture notes in computer science · doi:10.1007/11877028_2 · Cited by 235 · see citing works
Security Issues and Challenges for Cyber Physical System
Wang, E. K., Ye, Y., Xu, X., Yiu, S., Hui, L. C. K., & Chow, K. P. (2010) · IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData) · doi:10.1109/greencom-cpscom.2010.36 · Cited by 199 · see citing works
Aspect-oriented approach to early design modelling
France, R., Ray, I., Georg, G., et al. (2004) · IEE Proceedings - Software · doi:10.1049/ip-sen:20040920 · Cited by 166 · see citing works
Authentication and Authorization Scheme for Various User Roles and Devices in Smart Grid
Saxena, N., Choi, B. J., & Lu, R. (2015) · IEEE Transactions on Information Forensics and Security · doi:10.1109/tifs.2015.2512525 · Cited by 142 · see citing works
Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model
Zhang, M., Selić, B., Ali, S., Yue, T., Okariz, O., & Norgren, R. (2016) · Lecture notes in computer science · doi:10.1007/978-3-319-42061-5_16 · Cited by 133 · see citing works
Self-citationSystematic literature reviews in software engineering
Wohlin, C., & Prikladnicki, R. (2013) · Information and Software Technology · doi:10.1016/j.infsof.2013.02.002 · Cited by 120 · see citing works
Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems
Mosterman, P. J., & Zander, J. (2015) · Software & Systems Modeling · doi:10.1007/s10270-015-0469-x · Cited by 90 · see citing works
AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties
Pedroza, G., Apvrille, L., & Knorreck, D. (2011) · doi:10.1109/notere.2011.5957992 · Cited by 84 · see citing works
An extensive systematic review on the Model-Driven Development of secure systems
Nguyen, P. H., Kramer, M. E., Klein, J., & Traon, Y. L. (2015) · Information and Software Technology · doi:10.1016/j.infsof.2015.08.006 · Cited by 75 · see citing works
Self-citationAspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems
Wasicek, A., Derler, P., & Lee, E. A. (2014) · Proceedings - ACM IEEE Design Automation Conference · doi:10.1145/2593069.2593095 · Cited by 71 · see citing works
Model-based security analysis of a water treatment system
Kang, E., Adepu, S., Jackson, D. N., & Mathur, A. P. (2016) · IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) · doi:10.1145/2897035.2897041 · Cited by 69 · see citing works
A Survey on Testing for Cyber Physical System
Asadollah, S. A., Inam, R., & Hansson, H. (2015) · Lecture notes in computer science · doi:10.1007/978-3-319-25945-1_12 · Cited by 65 · see citing works
Security development lifecycle
Lipner, S. (2010) · Datenschutz und Datensicherheit - DuD · doi:10.1007/s11623-010-0021-7 · Cited by 61 · see citing works
A language for describing attacks on cyber-physical systems
Yampolskiy, M., Horváth, P., Koutsoukos, X., Xue, Y., & Sztipanovits, J. (2014) · International Journal of Critical Infrastructure Protection · doi:10.1016/j.ijcip.2014.09.003 · Cited by 60 · see citing works
SysML-Sec - A Model Driven Approach for Designing Safe and Secure Systems
Roudier, Y., & Apvrille, L. (2015) · International Conference on Model-Driven Engineering and Software Development · doi:10.5220/0005402006550664 · Cited by 60 · see citing works
Systematic analysis of cyber-attacks on CPS-evaluating applicability of DFD-based approach
Yampolskiy, M., Horvath, P., Koutsoukos, X., Xue, Y., & Sztipanovits, J. (2012) · International Symposium on Resilient Control Systems (ISRCS) · doi:10.1109/isrcs.2012.6309293 · Cited by 58 · see citing works
Integrated smart grid systems security threat model
Suleiman, H., Alqassem, I., Diabat, A. H., Arnautović, E., & Svetinović, D. (2014) · Information Systems · doi:10.1016/j.is.2014.12.002 · Cited by 56 · see citing works
Software and attack centric integrated threat modeling for quantitative risk assessment
Potteiger, B., Martins, G. S., & Koutsoukos, X. (2016) · doi:10.1145/2898375.2898390 · Cited by 52 · see citing works
Security Analysis of Urban Railway Systems: The Need for a Cyber-Physical Perspective
Chen, B., Schmittner, C., Ma, Z., et al. (2015) · Lecture notes in computer science · doi:10.1007/978-3-319-24249-1_24 · Cited by 47 · see citing works
Suleiman, H., & Svetinović, D. (2012) · Requirements Engineering · doi:10.1007/s00766-012-0153-4 · Cited by 46 · see citing works
Model-Based Cybersecurity Assessment with NESCOR Smart Grid Failure Scenarios
Jauhar, S., Chen, B., Temple, W. G., et al. (2015) · IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) · doi:10.1109/prdc.2015.37 · Cited by 43 · see citing works
Cysneiros, L. M., & Leite, J. C. S. D. P. (2002) · Proceedings/Proceedings - International Conference on Software Engineering · doi:10.1145/581339.581452 · Cited by 41 · see citing works
Neureiter, C., Engel, D., & Uslar, M. (2016) · Electronics · doi:10.3390/electronics5020024 · Cited by 39 · see citing works
Advances in Model-Driven Security
Lúcio, L., Zhang, Q., Nguyen, P. H., et al. (2014) · Advances in computers · doi:10.1016/b978-0-12-800162-2.00003-8 · Cited by 38 · see citing works
Self-citationPractical experiences in using model-driven engineering to develop trustworthy computing systems
Weigert, T. J., & Weil, F. (2006) · Sensor Networks, Ubiquitous, and Trustworthy Computing · doi:10.1109/sutc.2006.106 · Cited by 38 · see citing works
Ruiz, J. F., Harjani, R., Maña, A., et al. (2012) · Proceedings - Euromicro Workshop on Parallel and Distributed Processing/Proceedings · doi:10.1109/pdp.2012.36 · Cited by 38 · see citing works
SysML-Sec: A SysML Environment for the Design and Development of Secure Embedded Systems
Apvrille, L., & Roudier, Y. (2013) · HAL (Le Centre pour la Communication Scientifique Directe) · Cited by 34 · see citing works
Attack-defense trees based cyber security analysis for CPSs
Ji, X., Yu, H., Fan, G., et al. (2016) · IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) · doi:10.1109/snpd.2016.7515980 · Cited by 33 · see citing works
A SysML Extension for Security Analysis of Industrial Control Systems
Lemaire, L., Lapon, J., Decker, B. D., & Naessens, V. (2014) · doi:10.14236/ewic/ics-csr2014.1 · Cited by 32 · see citing works
Integrating Security Modeling into Embedded System Design
Eby, M., Werner, J. G., Karsai, G., et al. (2007) · IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS) · doi:10.1109/ecbs.2007.45 · Cited by 31 · see citing works
Security attack analysis using attack patterns
Li, T., Paja, E., Mylopoulos, J., et al. (2016) · IEEE International Conference on Research Challenges in Information Science (RCIS) · doi:10.1109/rcis.2016.7549303 · Cited by 31 · see citing works
CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems
Vu, A. H., Tippenhauer, N. O., Chen, B., et al. (2014) · Lecture notes in computer science · doi:10.1007/978-3-319-10696-0_29 · Cited by 30 · see citing works
A Systematic Review of Model-Driven Security
Nguyen, P. H., Klein, J., Traon, Y. L., & Kramer, M. E. (2013) · Asia-Pacific Software Engineering Conference (APSEC) · doi:10.1109/apsec.2013.64 · Cited by 30 · see citing works
Self-citationA concept for engineering smart grid security requirements based on SGAM models
Neureiter, C., Eibl, G., Engel, D., et al. (2014) · Computer Science - Research and Development · doi:10.1007/s00450-014-0288-2 · Cited by 29 · see citing works
System Security Requirements Analysis:A Smart Grid Case Study
Zafar, N., Arnautović, E., Diabat, A. H., et al. (2013) · Systems Engineering · doi:10.1002/sys.21252 · Cited by 28 · see citing works
Fletcher, K. K., & Liu, X. F. (2011) · doi:10.1109/ssiri-c.2011.25 · Cited by 28 · see citing works
A model for security analysis of smart meters
Tabrizi, F. M., & Pattabiraman, K. (2012) · IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W) · doi:10.1109/dsnw.2012.6264682 · Cited by 27 · see citing works
Designing Secure SCADA Systems Using Security Patterns
Fernández, E. B., & Larrondo-Petrie, M. M. (2010) · Proceedings of the ... Annual Hawaii International Conference on System Sciences/Proceedings of the Annual Hawaii International Conference on System Sciences · doi:10.1109/hicss.2010.139 · Cited by 27 · see citing works
A method for modeling and evaluation of the security of cyber-physical systems
Orojloo, H., & Azgomi, M. A. (2014) · International ISC Conference on Information Security and Cryptology (ISCISC) · doi:10.1109/iscisc.2014.6994036 · Cited by 25 · see citing works
A Model-Based Intrusion Detection System for Smart Meters
Tabrizi, F. M., & Pattabiraman, K. (2014) · IEEE International Symposium on High Assurance Systems Engineering (HASE) · doi:10.1109/hase.2014.12 · Cited by 23 · see citing works
Role-based model security access control for smart power-grids computer networks
Cheung, H., Hamlyn, A., Mander, T., et al. (2008) · doi:10.1109/pes.2008.4596902 · Cited by 20 · see citing works
Security-Aware, Model-Based Systems Engineering with SysML
Oates, R., Thom, F. J., & Herries, G. (2013) · Electronic workshops in computing · doi:10.14236/ewic/icscsr2013.9 · Cited by 20 · see citing works
Models, abstractions, and architectures
Balaji, B., Faruque, M. A. A., Dutt, N. D., et al. (2015) · Proceedings - ACM IEEE Design Automation Conference · doi:10.1145/2744769.2747936 · Cited by 19 · see citing works
Model-based intrustion detection for the smart grid (MINDS)
Hahn, A., & Govindarasu, M. (2013) · doi:10.1145/2459976.2460007 · Cited by 17 · see citing works
Integrating security mechanisms into embedded systems by domain‐specific modelling
Vasilevskaya, M., Gunawan, L. A., Nadjm‐Tehrani, S., et al. (2013) · Security and Communication Networks · doi:10.1002/sec.819 · Cited by 16 · see citing works
SoSPa: A system of Security design Patterns for systematically engineering secure systems
Nguyen, P. H., Yskout, K., Heyman, T., et al. (2015) · ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) · doi:10.1109/models.2015.7338255 · Cited by 16 · see citing works
Self-citationExtracting Vulnerabilities in Industrial Control Systems using a Knowledge-Based System
Lemaire, L., Vossaert, J., Jansen, J., & Naessens, V. (2015) · Electronic workshops in computing · doi:10.14236/ewic/ics2015.1 · Cited by 16 · see citing works
A Holistic Viewpoint-Based SysML Profile to Design Systems-of-Systems
Mori, M., Ceccarelli, A., Lollini, P., et al. (2016) · Proceedings - IEEE International Symposium on High-Assurance Systems Engineering/Proceedings · doi:10.1109/hase.2016.21 · Cited by 13 · see citing works
A Threat Analysis Methodology for Smart Home Scenarios
Beckers, K., Faßbender, S., Heisel, M., & Suppan, S. (2014) · Lecture notes in computer science · doi:10.1007/978-3-319-10329-7_7 · Cited by 10 · see citing works
Petri net model of insider attacks in SCADA system
Mahmoudi-Nasr, P., & Varjani, A. Y. (2014) · International ISC Conference on Information Security and Cryptology (ISCISC) · doi:10.1109/iscisc.2014.6994022 · Cited by 10 · see citing works
Quantifying Risks to Data Assets Using Formal Metrics in Embedded System Design
Vasilevskaya, M., & Nadjm‐Tehrani, S. (2015) · Lecture notes in computer science · doi:10.1007/978-3-319-24255-2_25 · Cited by 10 · see citing works
Introducing Cyber Security at the Design Stage of Public Infrastructures: A Procedure and Case Study
Adepu, S., & Mathur, A. P. (2016) · Advances in intelligent systems and computing · doi:10.1007/978-3-319-29643-2_6 · Cited by 10 · see citing works
Secure Design Patterns for Security in Smart Metering Systems
Ur‐Rehman, O., & Zivic, N. S. (2015) · doi:10.1109/ems.2015.49 · Cited by 10 · see citing works
Reactive Security for Smart Grids Using Models@run.time-Based Simulation and Reasoning
Hartmann, T., Fouquet, F., Klein, J., et al. (2014) · Lecture notes in computer science · doi:10.1007/978-3-319-10329-7_9 · Cited by 9 · see citing works
The 15th European Conference on Modelling Foundations and Applications (ECMFA).
Combemale, B., & Shaukat, A. (2019) · The Journal of Object Technology · doi:10.5381/jot.2019.18.2.e1 · Cited by 9 · see citing works
Using Model Driven Engineering to Support Multi-paradigms Security Analysis
Abdallah, R., Motii, A., Yakymets, N., & Lanusse, A. (2015) · Communications in computer and information science · doi:10.1007/978-3-319-27869-8_16 · Cited by 7 · see citing works
Privacy Assessment of Data Flow Graphs for an Advanced Recommender System in the Smart Grid
Knirsch, F., Engel, D., Neureiter, C., et al. (2015) · Communications in computer and information science · doi:10.1007/978-3-319-27668-7_6 · Cited by 7 · see citing works
SecureCPS: Defending a nanosatellite cyber-physical system
Forbes, L., Vu, H., Udrea, B., et al. (2014) · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · doi:10.1117/12.2054162 · Cited by 6 · see citing works
Demo Abstract: SURE: An Experimentation and Evaluation Testbed for CPS Security and Resilience
Neema, H., Völgyesi, P., Potteiger, B., et al. (2016) · ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) · doi:10.1109/iccps.2016.7479099 · Cited by 6 · see citing works
Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems
Pedroza, G., Gall, P. L., Gaston, C., et al. (2016) · IEEE International Symposium on Real-Time Distributed Computing (ISORC) · doi:10.1109/isorc.2016.15 · Cited by 6 · see citing works
Preventing and unifying threats in cyberphysical systems
Fernández, E. B. (2016) · Proceedings - IEEE International Symposium on High-Assurance Systems Engineering/Proceedings · doi:10.1109/hase.2016.50 · Cited by 4 · see citing works
Designing Sequence Diagram Models for Robustness to Attacks
Bannour, B., Escobedo, J. P., Gaston, C., et al. (2014) · IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) · doi:10.1109/icstw.2014.50 · Cited by 3 · see citing works
A method for describing industrial control system network attack using object Petri net
Wu, K., Li, Y., Chen, F., et al. (2015) · IEEJ Transactions on Electrical and Electronic Engineering · doi:10.1002/tee.22209 · Cited by 3 · see citing works
Saadatmand, M., Lévêque, T., Cicchetti, A., et al. (2012) · Cited by 1 · see citing works
Flagged first, then by citations
Cited by
Sorted by citations
Security and privacy in cyber-physical systems: A survey of surveys
Giraldo, J., Sarkar, E., Cardenas, A. A., Maniatakos, M., & Kantarcioglu, M. (2017) · IEEE Design & Test · doi:10.1109/mdat.2017.2709310 · Cited by 289 · see citing works
State of the art of cyber-physical systems security: An automatic control perspective
Zacchia Lun, Y., D’Innocenzo, A., Smarra, F., Malavolta, I., & Di Benedetto, M. D. (2019) · Journal of Systems and Software · doi:10.1016/j.jss.2018.12.006 · Cited by 211 · see citing works
Thirteen years of SysML: a systematic mapping study
Wolny, S., Mazak, A., Carpella, C., Geist, V., & Wimmer, M. (2020) · Software and Systems Modeling · doi:10.1007/s10270-019-00735-y · Cited by 140 · see citing works
A Systematic Review of Data Quality in CPS and IoT for Industry 4.0
Goknil, A., Nguyen, P., Sen, S., Politaki, D., Niavis, H., Pedersen, K. J., Suyuthi, A., Anand, A., & Ziegenbein, A. (2023) · ACM Computing Surveys · doi:10.1145/3593043 · Cited by 68 · see citing works
Self-citation
- Authors
- Nguyen, P. H., Ali, S., & Yue, T.
- Affiliations
- Simula Research Laboratory (NO)
- University of Oslo (NO)
- Corresponding author
- Nguyen, Phu H.
- Venue
- Information and Software Technology
- Publisher
- Elsevier BV
- Published
- 2017-03
- Volume
- 83
- Pages
- 116-135
- ISSN
- 0950-5849 (ISSN-L)
- OpenAlex
- W2552079288
- Cited by
- 107
- References
- 93
- Citations by year
- 2026: 6 · 2025: 6 · 2024: 13 · 2023: 12 · 2022: 11 · 2021: 16 · 2020: 15 · 2019: 11 · 2018: 10 · 2017: 7
- FWCI
- 17.67
- Type
- journal article
- Language
- en
- Open access
- closed
- Locations
- Information and Software Technology (publishedVersion)
- Topics
- Physical Sciences › Engineering › Safety, Risk, Reliability and Quality › Safety Systems Engineering in Autonomy
- Physical Sciences › Computer Science › Information Systems › Information and Cyber Security
- Physical Sciences › Computer Science › Software › Model-Driven Software Engineering Techniques
- Keywords
- cyber-physical systems, security by design, domain-specific languages, UML modeling, security requirements engineering, security threat analysis, security vulnerabilities, industrial case study
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
