ML23275A002
| ML23275A002 | |
| Person / Time | |
|---|---|
| Issue date: | 10/05/2023 |
| From: | Sushil Birla NRC/RES/DE |
| To: | |
| Sushil Birla 301-415-2311 | |
| References | |
| Download: ML23275A002 (10) | |
Text
Domain modeling & Domain Engineering an enabler for Correct-by-Construction Design Workshop Lead: Sushil Birla Office of Nuclear Regulatory Research Division of Engineering 1
Halden HTO Workshop October 5, 2023 The views expressed herein are those of the author and do not represent an official position of the U.S. NRC.
Object is certified Evaluate Accredited 3rd party Pre-certified Procedures Pre-certified Facilities Pre-certified People Accrediting, certifying authority International common core standards Country-specialized evaluation criteria Rework cycle accredit certify Learning cycle Object of evaluation One vision of the Assurance Process submit derive Evaluation-basis 2
Ob Object of pre-certification:
Object is certified Evaluate Accredited certifying authority People Rework cycle Learning cycle Envisioned pre-certification activities Tools Processes Procedures Methods & techniques Facilities Other reusable assets, e.g.:
- Libraries 3
Creating the appropriate standards: One vision Ob Technical basis for:
People Tools Processes Procedures Methods & techniques Facilities Other reusable assets, e.g.:
- Libraries R&D community Other voices Standards body Standard Guideline develops Government 4
Development based on domain engineering Requirements Architecture Detailed design Implementation Abstraction Declarative (what)
Imperative (how)
Concretion R
E F
I N
E M
E N
T 5
Leverage domain engineering Development Phase Requirements Architecture Detailed design Implementation Constraints to enable refinement Domain-specific controlled natural language Domain-specific architecture modeling language Domain-specific design specification language Domain-specific coding/programming language Semantically compatible Semantically compatible Semantically compatible Create pre-certified reusable assets Domain modeling Domain engineering (see NUREG/CR-6263; IEEE Std 1517:2010; ISO/IEC 26550 family) 6 T1 T2 T3
Reference model 7
Source: ISO/IEC 26550:2015(E)
ISO/IEC 26550 family of standards ISO/IEC 26550:2015(E)
Software and systems engineering Reference model for product line engineering and management ISO/IEC 26551:2016(E)
Tools and methods for product line requirements engineering ISO/IEC 26552:2019(E)
Tools and methods for product line architecture design ISO/IEC 26553:2018(E)
Processes and capabilities of methods and tools for domain realization and application realization ISO/IEC 26554:2018(E)
Methods and tools for domain testing and application testing ISO/IEC 26555:2015 Tools and methods for technical management ISO/IEC 26556:2018(E)
Tools and methods for organizational management 8
ISO/IEC 26550 family of standards ISO/IEC 26557:2016(E)
Methods and tools for variability mechanisms ISO/IEC 26558:2017(E)
Methods and tools for variability modeling ISO/IEC 26559:2017(E)
Methods and tools for variability traceability ISO/IEC 26560:2019(E)
Methods and tools for product management ISO/IEC 26561:2019(E)
Methods and tools for technical probe ISO/IEC 26562:2019(E)
Processes and capabilities of methods and tools for transition management ISO/IEC 26563:2022(E)
Processes and capabilities of methods and tools for configuration management of assets ISO/IEC 26564: 2022(E)
Methods and tools for product line measurement 9
ISO/IEC 26550 family of standards ISO/IEC 26850:2021(E)
Methods and tools for the feature-based approach to software and systems product line engineering ISO/IEC 26565 to ISO/IEC 26599: To be developed 9