- Erratum
2,706 Views
1 Page
The author wishes to make the following correction to this paper [...]
Designs, Volume 4, Issue 1
2020 March - 8 articles
Cover Story: Modern embedded systems have low-energy computing demands, making testing for energy consumption increasingly important. Traditional testing methods are costly to use and infeasible to directly apply due to the cyber-physical nature of the systems. In this work, we automate the most tedious and labor-intensive part of testing energy consumption (i.e., the creation of fault-finding energy-aware test cases) by combining statistical model-checking and model testing with architectural modeling and mutation testing. Our results indicate that this novel automated test case generation and selection method using architectural models can reduce testing complexity via early and cost-effective automation. View this paper
- Issues are regarded as officially published after their release is announced to the table of contents alert mailing list .
- You may sign up for email alerts to receive table of contents of newly released issues.
- PDF is the official format for papers published in both, html and pdf forms. To view the papers in pdf format, click on the "PDF Full-text" link, and use the free Adobe Reader to open them.
Articles (8)
- Article
11 Citations
4,416 Views
21 Pages
Customers’ needs and wants with regard to dairy products are increasingly diverse, and companies must be able to produce a variety of products. This study aimed to obtain alternative product configurations in accordance with customer requiremen...
- Article
15 Citations
13,352 Views
57 Pages
To remain competitive in the market, it is crucial to reduce the time and costs involved in product development. Design for manufacturing and assembly is an engineering methodology that can reduce costs without compromising reliability, performance a...
- Article
2 Citations
4,410 Views
18 Pages
Nowadays, embedded systems are increasingly complex, meaning that traditional testing methods are costly to use and infeasible to directly apply due to the complex interactions between hardware and software. Modern embedded systems are also demanded...
- Article
18 Citations
5,916 Views
28 Pages
Many different product development approaches are taught and used in engineering and management disciplines. These formalized design methods, processes, and environments differ in the types of projects for which they are relevant, the project compone...
- Article
13 Citations
6,360 Views
17 Pages
Computational fluid dynamics (CFD) can help in understanding the nature of leakage flow phenomena inside the rotary positive displacement machines (PDMs). However, due to the lack of experimental results, the analysis of leakage flows in rotary PDMs...
- Editorial
2 Citations
2,393 Views
2 Pages
The editorial team greatly appreciates the reviewers who have dedicated their considerable time and expertise to the journal’s rigorous editorial process over the past 12 months [...]
- Article
7 Citations
7,045 Views
15 Pages
Over the last decade, Computational Fluid Dynamics (CFD) has been increasingly applied for the design and analysis of positive displacement machines employed in vapor compression and power generation applications. Particularly, single-screw and twin-...
Designs - ISSN 2411-9660