Search for dissertations about: "Software reliability modelling"

Showing result 1 - 5 of 14 swedish dissertations containing the words Software reliability modelling.

  2. 1. A Quantitative Approach to Computer Security from a Dependability Perspective

    Author : Erland Jonsson; Chalmers University of Technology; []
    Keywords : intrusions; computers; modelling; vulnerability; dependability evaluation; experimentation; terminology; operational security; reliability; concepts; measures;

    Abstract : Security and dependability represent two very important attributes of modern computer systems, especially in the light of the increasing complexity and criticality of these systems. These two disciplines have traditionally been treated separately, although lately some attempts have been made to integrate them. READ MORE

  4. 2. Track circuits’ robustness : Modeling, measurement and simulation

    Author : Emilio Rodriguez; Luleå tekniska universitet; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Track circuit; Relay; False positive signals; Signalling in railway; Modelling; Simulation; Testing; Robustness; Interoperability; Reliability; Railway Infrastructure; Technology - Electrical engineering; electronics and photonics; Information technology - Telecommunication; Information technology - Computer engineering; Technology - Engineering physics; Information technology - Systems engineering; Teknikvetenskap - Elektroteknik; elektronik och fotonik; Informationsteknik - Telekommunikation; Informationsteknik - Datorteknik; Teknikvetenskap - Teknisk fysik; Informationsteknik - Systemteknik; Drift och underhållsteknik; Operation and Maintenance;

    Abstract : In countries with rough weather conditions, frequent delays cause railway companies to waste time and money. Many of these delays are related to the train detection systems, as the old DC track circuits are still used in some countries, including Sweden, our case study. READ MORE

  5. 3. Models for Estimation of Software Faults and Failures in Inspection and Test

    Author : Per Runeson; Institutioner vid LTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; failures; usage based testing; usage model; statistical testing; faults; capture-recapture; inspections; software quality; software reliability; experiments; Computer science; numerical analysis; systems; control; Datalogi; numerisk analys; system; kontroll;

    Abstract : In software engineering, the quality of software and in particular the software reliability has to be controlled and improved. Hence there is a need for measuring and controlling the number and appearance of software faults and failures. READ MORE

  6. 4. The development and implementation of software for palaeoenvironmental and palaeoclimatological research : the Bugs Coleopteran Ecology Package (BugsCEP)

    Author : Philip Buckland; Roger Engelmark; Geoffrey Lemdahl; Paul Sinclair; Umeå universitet; []
    Keywords : HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; Quaternary geology; environmental archaeology; quaternary science; Coleoptera; beetles; database; environmental reconstructions; climate reconstructions; software; Mutual Climatic Range; MCR; palaeoentomology; Kvartärgeologi; Archaeology; Arkeologi; Archaeology; arkeologi;

    Abstract : This thesis documents the development and application of a unique database orientated software package, BugsCEP, for environmental and climatic reconstruction from fossil beetle (Coleoptera) assemblages. The software tools are described, and the incorporated statistical methods discussed and evaluated with respect to both published modern and fossil data, as well as the author’s own investigations. READ MORE

  7. 5. A Model-driven Development Approach with Temporal Awareness for Vehicular Embedded Systems

    Author : Alessio Bucaioni; Mikael Sjödin; Matthias Tichy; Mälardalens högskola; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Abstract : Considering the ubiquitousness of software in modern vehicles, its increased value and development cost, an efficient software development became of paramount importance for the vehicular domain. It has been identified that early verification of non functional properties of  vehicular embedded software such as, timing, reliability and safety, is crucial to efficiency. READ MORE