Search for dissertations about: "requirements specification"

Showing result 16 - 20 of 106 swedish dissertations containing the words requirements specification.

  2. 16. Harmonisation of 3D geodata : a prerequisite for a digital information flow for applications in the planning and building sector

    Author : Helen Eriksson; Institutionen för naturgeografi och ekosystemvetenskap; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Data harmonisation; schema extension; 3D buildings; 3D city models; GeoBIM; lifecycle and version management; emporal information; user requirements; Guidelines; Hydrography;

    Abstract : Data harmonisation is a prerequisite for smart cities, for a more efficient information flow in the planning and building process and for many applications in the urban environment. Ideally, data harmonisation will result in a digital information flow that include information from the whole lifecycle of a feature, for example for buildings, roads and tunnels. READ MORE

  4. 17. On Falsification of Large-Scale Cyber-Physical Systems

    Author : Johan Lidén Eddeland; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Test Coverage; Testing; Optimization; Simulation-Based Verification; Formal Requirements; Cyber-Physical Systems; Falsification;

    Abstract : In the development of modern Cyber-Physical Systems, Model-Based Testing of the closed-loop system is an approach for finding potential faults and increasing quality of developed products. Testing is done on many different abstraction levels, and for large-scale industrial systems, there are several challenges. READ MORE

  5. 18. The effects of modeling requirements in early phases of buyer-supplier relations

    Author : Göran Backlund; Linköpings universitet; []
    Keywords : ;

    Abstract : This work is an attempt to attack waste of resources during development of embedded systems. Modern systems, in aircraft or automobiles, constantly grow in complexity and also become more integrated. READ MORE

  6. 19. Process capability analysis with focus on indices for one-sided specification limits

    Author : Malin Albing; Luleå tekniska universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Mathematical Statistics with special emphasis on Industrial Statistic; Matematisk statistik inriktning industriell statistik;

    Abstract : In this thesis some aspects of process capability analysis are considered. Process capability analysis deals with how to assess the capability of manufacturing processes. Based on the process capability analysis one can determine how the process performs relative to its product requirements or specifications. READ MORE

  7. 20. An Observer-Based Technique with Trace Links for Requirements Validation in Embedded Real-Time Systems

    Author : Jiale Zhou; Kristina Lundqvist; Kristian Sandahl; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Abstract : With the growing complexity of embedded real-time systems, requirements validation becomes an ever-more critical activity for developing such systems. Studies have revealed that most of the anomalies, discovered in the development of complex systems, belong to requirement and specification phases. READ MORE