Essays about: "software-intensive systems"

Showing result 6 - 10 of 12 essays containing the words software-intensive systems.

1. 6. Methods for Modeling of Product Lines for Safety-critical Systems

   University essay from Akademin för innovation, design och teknik

   Author : Xiaodi Zhang; [2013]
   Keywords : Product line modeling; Safety-critical system;

   Abstract : Software product line engineering is a proposed methodology that enables software products and software-intensive systems to be developed at lower cost, higher quality and less time to market. The structured and managed artifacts reuse among different products in development is the main target of software product line engineering. READ MORE

3. 7. Evaluation of Structural Testing Effectiveness in Industrial Model-driven Software Development

   University essay from Akademin för innovation, design och teknik

   Author : Mahdi Sarabi; [2012]
   Keywords : ;

   Abstract : Software testing is a crucial but cost consuming practice in the development of safety critical software-intensive systems. In industry software testing techniques are chosen heuristically rather than scientifically. Researchers have studied for many years which test method is more efficient and effective in an industrial setting. READ MORE

4. 8. Simulation of Safety-Critical Systems Specified in AADL

   University essay from Akademin för innovation, design och teknik

   Author : Boyan Sheytanov; [2012]
   Keywords : model transformation; software; simulation; AADL; Java; safety-critical systems; real-time systems;

   Abstract : Safety-critical software intensive systems are used in a lot of industries nowadays. Examples ofthese are in automotive and aircraft industry, medicine, and autonomous systems. Fault in suchsystems can lead to severe damage and/or loss of human lives. READ MORE

5. 9. Automated Architecture-Based Verification of Safety-Critical Systems

   University essay from Mälardalens högskola/Akademin för innovation, design och teknik

   Author : Omar Tawffeeq Saleem Jaradat; [2011]
   Keywords : architecture-based verification; software-intensive systems; uppaal; modelling and verification; aadl; Fuel Level Estimation System;

   Abstract : Safety-critical systems require high quality and dependability levels, where system correctness and safety are major features to avoid any severe outcome. Time and cost are also important challenges that are imposed during the development process. READ MORE

6. 10. Software Product Line:Survey of Tools

   University essay from Institutionen för datavetenskap

   Author : Qaiser Munir; Muhammad Shahid; [2010]
   Keywords : Software Product Lines; Software Product Line Tools; Core Asset Development; Variability Management; Feature Modeling; Domain Engineering; Application Engineering; Pure::Variant; MetaEdit ;

   Abstract : A software product line is a set of software-intensive systems that share a common, managed set of features satisfying the specificneeds of a particular market segment or mission. The main attractive part of SPL is developing a set of common assets which includes requirements, design, test plans, test cases, reusable software components and other artifacts. READ MORE