software synthesis
Recently Published Documents


TOTAL DOCUMENTS

170
(FIVE YEARS 8)

H-INDEX

15
(FIVE YEARS 1)

2021 ◽  
pp. 81-107
Author(s):  
Nicolas Collins

The !trumpet is software synthesis system controlled from, and playing back through, a trumpet.  It is not an electronically extended trumpet: the player produces no acoustic sounds by blowing through the mouthpiece. Instead, breath pressure and valve movement on the brass instrument are read by an embedded Arduino microcontroller  and sent to a laptop, where the data is mapped onto various parameters in synthesis software; the resulting electronic sound is returned to the trumpet, where it plays through a loudspeaker inside the bell, and is further processed acoustically by valve position (changes in the length of tubing filter the speaker output), movement of a plunger mute (wah-wah style filtering), and orientation of the instrument in space (panning).


2021 ◽  
Vol 26 (5) ◽  
pp. 1-38
Author(s):  
Eunjin Jeong ◽  
Dowhan Jeong ◽  
Soonhoi Ha

Existing software development methodologies mostly assume that an application runs on a single device without concern about the non-functional requirements of an embedded system such as latency and resource consumption. Besides, embedded software is usually developed after the hardware platform is determined, since a non-negligible portion of the code depends on the hardware platform. In this article, we present a novel model-based software synthesis framework for parallel and distributed embedded systems. An application is specified as a set of tasks with the given rules for execution and communication. Having such rules enables us to perform static analysis to check some software errors at compile-time to reduce the verification difficulty. Platform-specific programs are synthesized automatically after the mapping of tasks onto processing elements is determined. The proposed framework is expandable to support new hardware platforms easily. The proposed communication code synthesis method is extensible and flexible to support various communication methods between devices. In addition, the fault-tolerant feature can be added by modifying the task graph automatically according to the selected fault-tolerance configurations by the user. The viability of the proposed software development methodology is evaluated with a real-life surveillance application that runs on six processing elements.


Author(s):  
Sergey Vyacheslavovich Lebedev ◽  
Michail Panteleyev

Evolution of cyber-physical systems (CPS) and extension of their application areas complicate, among other things, their software design and development. This requires improvements in programming techniques used to build CPS. One of the important tasks arising in complex CPS is a situation assessment (SA) based on data received from diverse sources. In the chapter, an ontology-driven approach for CPS SA software design and development automation is proposed. The approach is based on the JDL data fusion model and flexible enough to be applied for any class of CPS applications. In contrast to known approaches, ontologies are used not only for domain knowledge representation but also for SA calculation process formalization. It provides a higher level of automation of SA software synthesis and, in the end, increases design and development efficiency.


2019 ◽  
Vol 11 (1) ◽  
pp. 9-12 ◽  
Author(s):  
Mohammad Motamedi ◽  
Daniel Fong ◽  
Soheil Ghiasi

Sign in / Sign up

Export Citation Format

Share Document