Sökning: "Kompositionell"
Hittade 5 avhandlingar innehållade ordet Kompositionell.
1. Specifying Safety-Critical Heterogeneous Systems Using Contracts Theory
Sammanfattning : Requirements engineering (RE) is a well-established practice that is also emphasized in safety standards such as IEC 61508 and ISO 26262. Safety standards advocate a particularly stringent RE where requirements must be structured in an hierarchical manner in accordance with the system architecture; at each level, requirements must be allocated to heterogeneous (SW, HW, mechanical, electrical, etc. LÄS MER
2. Automatic Extraction of Program Models for Formal Software Verification
Sammanfattning : In this thesis we present a study of the generation of abstract program models from programs in real-world programming languages that are employed in the formal verification of software. The thesis is divided into three parts, which cover distinct types of software systems, programming languages, verification scenarios, program models and properties. LÄS MER
3. A Theory of Architectural Objects to support Design Configuration
Sammanfattning : The thesis presents the results from a research project targeting architectural design and house-building in a setting of industrialized design process and product platforms. During the early stages of a traditional design process, architects manage a degree of problem complexity, besides technical aspects, also includes user function, material, environment, aesthetics etc. LÄS MER
4. Recirculation of scrapped resources : The role of material information in enhancing the sustainability of recycling
Sammanfattning : Industries have responded to the climate change problem by positioning their activities as compatible with concepts such as the Circular Economy. Conveying the idea of maximizing and keeping the resources in a manner that aligns with the principles of sustainable development, the endorsements for implementing circularity measures has arguably become a boon for businesses. LÄS MER
5. Automated Creation of Safety Cases for Highly Configurable Systems
Sammanfattning : Regardless of the domain, the size and complexity of software-intensive systems is constantly increasing. At the same time, to satisfy the needs of different customers, systems are more frequently being engineered as configurable, where individual customers can select the configuration that suits them best. LÄS MER