Skip to Content

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
  • Open Access
10 Citations
4,092 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
  • Open Access
14 Citations
11,975 Views
57 Pages

19 February 2020

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
  • Open Access
2 Citations
3,897 Views
18 Pages

19 February 2020

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
  • Open Access
18 Citations
5,409 Views
28 Pages

A Product Development Approach Advisor for Navigating Common Design Methods, Processes, and Environments

  • Shelby Stewart,
  • Jack Giambalvo,
  • Julia Vance,
  • Jeremy Faludi and
  • Steven Hoffenson

14 February 2020

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
  • Open Access
11 Citations
5,823 Views
17 Pages

Experimental and Numerical Investigation of Tip Leakage Flows in a Roots Blower

  • Shuaihui Sun,
  • Gursharanjit Singh,
  • Ahmed Kovacevic and
  • Christoph Bruecker

6 February 2020

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...

  • Article
  • Open Access
7 Citations
5,956 Views
15 Pages

CFD Simulations of Single- and Twin-Screw Machines with OpenFOAM

  • Nicola Casari,
  • Ettore Fadiga,
  • Michele Pinelli,
  • Alessio Suman and
  • Davide Ziviani

30 January 2020

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-...

XFacebookLinkedIn
Designs - ISSN 2411-9660