Browse ORBilu by Open Access
- What it is and what it isn't
- Green Road / Gold Road?
- Ready to Publish. Now What?
- How can I support the OA movement?
- Where can I learn more?
ORBilu is a project developed by
Showing results 41 to 52 of 52
   Identifying Optimal Trade-Offs between CPU Time Usage and Temporal Constraints Using SearchNejati, Shiva  ; Briand, Lionel in International Symposium on Software Testing and Analysis (ISSTA 2014) (2014, July) Integration of software from different sources is a critical activity in many embedded systems across most industry sectors. Software integrators are responsible for producing reliable systems that ... [more ▼] Integration of software from different sources is a critical activity in many embedded systems across most industry sectors. Software integrators are responsible for producing reliable systems that fulfill various functional and performance requirements. In many situations, these requirements inversely impact one another. In particular, embedded system integrators often need to make compromises regarding some of the functional system properties to optimize the use of various resources, such as CPU time. In this paper, motivated by challenges faced by industry, we introduce a multi-objective decision support approach to help balance the minimization of CPU time usage and the satisfaction of temporal constraints in automotive systems. We develop a multi-objective, search-based optimization algorithm, specifically designed to work for large search spaces, to identify optimal trade-off solutions fulfilling these two objectives. We evaluated our algorithm by applying it to a large automotive system. Our results show that our algorithm can find solutions that are very close to the estimated ideal optimal values, and further, it finds significantly better solutions than a random strategy while being faster. Finally, our approach efficiently identifies a large number of diverse solutions, helping domain experts and other stakeholders negotiate the solutions to reach an agreement. [less ▲] Detailed reference viewed: 349 (30 UL)Architecture-Level Configuration of Large-Scale Embedded Software Systems; Nejati, Shiva ; Briand, Lionel in ACM Transactions on Software Engineering and Methodology (2014), 23(3), Configuration in the domain of integrated control systems (ICS) is largely manual, laborious, and error-prone. In this paper, we propose a model-based configuration approach that provides automation ... [more ▼] Configuration in the domain of integrated control systems (ICS) is largely manual, laborious, and error-prone. In this paper, we propose a model-based configuration approach that provides automation support for reducing configuration effort and the likelihood of configuration errors in the ICS domain. We ground our approach on componentbased specifications of ICS families. We then develop a configuration algorithm using constraint satisfaction techniques over finite domains to generate products that are consistent with respect to their ICS family specifications. We reason about the termination and consistency of our configuration algorithm analytically. We evaluate the effectiveness of our configuration approach by applying it to a real subsea oil production system. Specifically, we have rebuilt a number of existing verified product configurations of our industry partner. Our experience shows that our approach can automatically infer up to 50% of the configuration decisions, and reduces the complexity of making configuration decisions. [less ▲] Detailed reference viewed: 379 (36 UL)Traceability and SysML Design Slices to Support Safety Inspections: A Controlled ExperimentBriand, Lionel ; ; Nejati, Shiva et alin ACM Transactions on Software Engineering and Methodology (2014), 23(1), Detailed reference viewed: 380 (51 UL)Automated Model-in-the-Loop Testing of Continuous Controllers using SearchMatinnejad, Reza ; Nejati, Shiva ; Briand, Lionel et alin 5th Symposium on Search-Based Software Engineering (SSBSE 2013), Springer Lecture Notes in Computer Science (2013, August) The number and the complexity of software components embedded in today’s vehicles is rapidly increasing. A large group of these components monitor and control the operating conditions of physical devices ... [more ▼] The number and the complexity of software components embedded in today’s vehicles is rapidly increasing. A large group of these components monitor and control the operating conditions of physical devices (e.g., components controlling engines, brakes, and airbags). These controllers are known as continuous controllers. In this paper, we study testing of continuous controllers at the Model-in-Loop (MiL) level where both the controller and the environment are represented by models and connected in a closed feedback loop system.We identify a set of common requirements characterizing the desired behavior of continuous controllers, and develop a search-based technique to automatically generate test cases for these requirements. We evaluated our approach by applying it to a real automotive air compressor module. Our experience shows that our approach automatically generates several test cases for which the MiL level simulations indicate potential violations of the system requirements. Further, not only do our approach generates better test cases faster than random test case generation, but we also achieve better results than test scenarios devised by domain experts. [less ▲] Detailed reference viewed: 537 (85 UL)Minimizing CPU Time Shortage Risks in Integrated Embedded SoftwareNejati, Shiva ; Adedjouma, Morayo ; Briand, Lionel et alin 28th IEEE/ACM International Conference on Automated Software Engineering (2013) Detailed reference viewed: 410 (31 UL)PWWM: A Personal Web Workflow Methodology; ; et al in Chignell, M.; Cordy, J.; Kealey, R. (Eds.) et al The Personal Web (2013) Detailed reference viewed: 243 (12 UL)Stress Testing of Task Deadlines: A Constraint Programming Approach; Nejati, Shiva ; Briand, Lionel et alin The 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), Pasadena, CA, November 2013 (2013) Safety-critical Real Time Embedded Systems (RTESs) are usually subject to strict timing and performance requirements that must be satisfied for the system to be deemed safe. In this paper, we use ... [more ▼] Safety-critical Real Time Embedded Systems (RTESs) are usually subject to strict timing and performance requirements that must be satisfied for the system to be deemed safe. In this paper, we use effective search strategies that aim at finding worst case scenarios with respect to deadline misses. Such scenarios can in turn be used to test the target RTES and ensure that, even under worst case conditions, it satisfies its timing requirements. Specifically, we develop a solution based on Constraint Programming (CP) to automate the generation of test cases that reveal, or are likely to, task deadline misses. We evaluate it through a comparison with a recent, state-of-the-art approach based on Genetic Algorithms (GA). In particular, we compare CP and GA in five industry-inspired case studies for efficiency, effectiveness, and scalability. Our experimental results show that, on the largest and more complex case studies, CP performs significantly better than GA. Since CP has interesting properties, such as guaranteeing complete search when there is sufficient time, and enables the definition of effective heuristics to converge faster towards optimal solutions, we conclude that our results are encouraging and suggest this is an advantageous solution for the stress testing of RTESs with respect to timing constraints. [less ▲] Detailed reference viewed: 336 (11 UL) Matching and Merging of Variant Feature Specifications.Nejati, Shiva ; Sabetzadeh, Mehrdad ; et alin IEEE Transactions on Software Engineering (2012), 38(6), 1355-1375 Detailed reference viewed: 247 (5 UL)Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques; ; Nejati, Shiva et alin CSTVA 2012 (2012) Detailed reference viewed: 301 (10 UL)Research-Based Innovation: A Tale of Three Projects in Model-Driven EngineeringBriand, Lionel ; ; Nejati, Shiva et alin 15th ACM/IEEE International Conference Model Driven Engineering Languages and Systems (2012) Detailed reference viewed: 475 (9 UL)Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress TestingNejati, Shiva ; ; Sabetzadeh, Mehrdad et alin 15th ACM/IEEE International Conference on Model Driven Engineering Languages & Systems (2012) Detailed reference viewed: 654 (11 UL)Model-Based Automated and Guided Configuration of Embedded Software Systems; Nejati, Shiva ; et alin European Conference on Modeling Foundations and Applications (2012) Detailed reference viewed: 394 (13 UL) |
||
