Blar i SINTEF Open på forfatter "Refsdal, Atle"
-
Stepwise refinement of sequence diagrams with soft real-time constraints
Refsdal, Atle; Runde, Ragnhild Kobro; Stølen, Ketil (Journal article; Peer reviewed, 2015)UML sequence diagrams and similar notations are much used to specify and analyze computer systems and their requirements. Probabilities are often essential, in particular for capturing soft real-time constraints. It is ... -
Stepwise refinement of sequence diagrams with soft real-time requirements
Refsdal, Atle; Runde, Ragnhild Kobro; Stølen, Ketil (Research report, 2011)UML sequence diagrams and similar notations are much used to specify computer systems, serving for example as specifications for programmers, or as a means for validating requirements. When specifying and analyzing computer ... -
Towards Safety Risk Assessment of Socio-technical Systems via Failure Logic Analysis
Gallina, Barbara; Sefer, Edin; Refsdal, Atle (Chapter, 2014)A thorough understanding of the safety risks of a system requires an understanding of its human and organizational factors, as well as its technical components. Analysis approaches that focus only on the latter without ... -
Using Indicators to Monitor Risk in Interconnected Systems: How to Capture and Measure the Impact of Service Dependencies on the Quality of Provided Services
Ligaarden, Olav; Refsdal, Atle; Stølen, Ketil (SINTEF Rapport;, Research report, 2012)Interconnected systems are collections of systems that interact through the use of services. Their often complex service dependencies and very dynamic nature make them hard to analyze and predict with respect to quality ... -
ValidKI: A Method for Designing Indicators to Monitor the Fulfillment of Business Objectives with Particular Focus on Quality and ICT-supported Monitoring of Indicators
Olav, Skjelkvåle Ligaarden; Refsdal, Atle; Stølen, Ketil (SINTEF Rapport;, Research report, 2012)In this report we present our method ValidKI for designing indicators to monitor the fulfillment of business objectives with particular focus on quality and ICT-supported monitoring of indicators. A set of indicators is ...