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 Halden HTO Workshop October 5, 2023 Workshop Lead: Sushil Birla Office of Nuclear Regulatory Research Division of Engineering The views expressed herein are those of the author and do not represent an official position of the U.S. NRC.
1
One vision of the Assurance Process Accrediting, certifying authority certify Pre-certified Procedures International common core standards Pre-certified Facilities accredit derive Pre-certified Country-specialized evaluation People criteria Accredited Evaluation-basis 3rd party Learning cycle Object of Object is submit Evaluate evaluation certified Rework cycle 2
Envisioned pre-certification activities Object of pre-certification: Accredited certifying authority Processes Procedures Methods & techniques People Ob Learning cycle Tools Facilities Other reusable assets, e.g.:
- Libraries Object is Evaluate certified Rework cycle 3
Creating the appropriate standards: One vision R&D community develops Government Technical basis for:
Processes Procedures Methods & techniques Ob Standards body Other voices People Tools Facilities Standard Other reusable assets, e.g.:
- Libraries Guideline 4
Development based on domain engineering Abstraction Requirements Declarative (what)
R E
F Architecture I
N E
M E
N Detailed design T
Concretion Imperative (how)
Implementation 5
Leverage domain engineering Development Phase Constraints to enable refinement Requirements Domain-specific controlled natural language T1 Semantically compatible Architecture Domain-specific architecture modeling language Semantically T2 compatible Detailed design Domain-specific design specification language Semantically T3 compatible Implementation Domain-specific coding/programming language Create pre-certified reusable assets
- Domain modeling
- Domain engineering (see NUREG/CR-6263; IEEE Std 1517:2010; ISO/IEC 26550 family) 6
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