Digital Instrumentation & Control
Contact us
The department of Risk, Safety and Security has been actively working in the field of software reliability and verification and validation for more than 40 years. The activities in this area have to a large degree consisted of a set of projects, most of them conducted as joint projects with other signatory institutions and counts in 2019 for 42 projects. The 3 ongoing projects are:
- Digital I&C Requirements
- How to manage requirements in development projects
- Combines safety and security requirements and analysis methodologies
- Human Factors of Digital I&C Methodologies
- Establish taxonomies, and perform task and communication analysis
- In order to assess and develop analysis methodologies
- Digital I&C Safety Demonstration
- Evaluates different strategies for safety demonstration and argumentation
- Safety Cases, argumentation strategies, workshops and stakeholder alignment
List of Halden Reactor Project sub-projects within Digital I&C safety research:
- Diversity (77-78)
- X-SPEX (83-85)
- PODS/STEM (83-88)
- SOSAT (87-93)
- SAP-1 & 2 (90-93)
- Algebraic Specification (89-93)
- Validation of knowledge-based systems (92)
- Formal process models (89-93)
- EvalFM (94)
- Halden Prover (96-02)
- Petri Nets and Algebraic Specifications (96-04)
- Formal Process Models (94-01)
- Complementary Notations and Techniques (96)
- Real-Time Distributed Systems (96)
- Evaluation of Methods and Tools (98-99)
- Integration of Formal Specification (98-99)
- Verification of Operator Procedures (96-01)
- Independence of Software Functions (04)
- Integration of Service-Oriented and Quality-Oriented System Aspects (04)
- Quality Auditing and Management in Digital I&C Production (94-03)
- Software Testing and Reliability Assessment (95-98)
- Safety Assessment Based on Disparate Sources of Information (98-02)
- Model-Based Risk Assessment (02-04)
- Safe Use of Pre-Developed Software (96-03)
- Dependability of Human Machine Systems (01)
- System Aspects (03-05)
- Software Quality Assurance Issues Important to Safety (03-05)
- Risk Assessment of Digital I&C Systems (03-05)
- Assessment of Emerging Applications and Technology (03-05)
- Engineering of Dependable Software Systems (06-08)
- Software Systems Architecture (06-08)
- Modernization of Digital I&C (09-11)
- Integrating Requirements and Risk Assessment (09-11)
- Assessment of Error Propagation and Common Cause Failures (09-11)
- Assessment of Advanced Control Systems (09-11)
- Software development (12-14)
- Software Assurance / Digital I&C Assurance (12-17)
- Software Approval and Deployment (12-14)
- Software Systems Dependability (15-17)
- Digital I&C Safety Demonstration (15-20)
- Safety and Security in Digital I&C Design (18-20)
- The Human Factors of Digital I&C Methodologies (18-20)