| 1. |
- Ungureanu, George, et al.
(author)
-
Parallel software design enabling high-speed reliability testing of inkjet printheads
- 2013
-
In: International Conference on Digital Printing Technologies. - 9780892083060 ; , s. 60-65
-
Conference paper (peer-reviewed)abstract
- With new functional applications emerging in the digital printing industry, the need for quantitative knowledge of the reliability of drop-on-demand inkjet printheads increases. Continuous ink circulation using TF Technology™and the resulting channel self-recovery is one of the technologies which decrease the down-time of a single nozzle, but in turn increase the difficulty of an accurate reliability test. Current measuring techniques, namely the a-posteriori verification of printouts on paper proved to be inappropriate. This paper proposes a novel software approach, exploiting signal processing techniques, strong control loops and powerful system design methodologies in order to allow for the correct detection of single missing droplets at run-time. This new system is meant to relieve the effects of the indefinite environment and sources of human error. Preliminary results and the proof-ofconcept demonstrates both the system's and the design method's versatility and potential.
|
|
| 2. |
|
|
| 3. |
- Attarzadeh-Niaki, S. -H, et al.
(author)
-
A composable and predictable MPSoC design flow for multiple real-time applications
- 2016
-
In: Model-Implementation Fidelity in Cyber Physical System Design. - Cham : Springer International Publishing. ; , s. 157-174
-
Book chapter (other academic/artistic)abstract
- Design of real-time MPSoC systems including multiple applications is challenging because temporal requirements of each application must be respected throughout the entire design flow. Currently the design of different applications is often interdependent, making converge to a solution for each application difficult. This chapter proposes a compositional method to design applications independently, and then to execute them without interference. We define a formal modeling framework as a suitable entry point for application design. The models are executable, which enables early detection of specification errors, and include the formal properties of the applications based on well-defined models of computation. We combine this with a predictable MPSoC platform template that has a supporting design flow but lacks a simulation front-end. The structure and behavior of the application models are exported to an intermediate format via introspection which is iteratively transformed for the backend flow. We identify the problems arising in this transformation and provide appropriate solutions. The design flow is demonstrated by a system consisting of two streaming applications where less than half of the design time is dedicated to operating on the integrated system model.
|
|
| 4. |
- Attarzadeh-Niaki, Seyed-Hosein, 1984-, et al.
(author)
-
A Composable and Predictable MPSoC Design Flow for Multiple Real-Time Applications
- 2015
-
Conference paper (peer-reviewed)abstract
- Design of real-time MPSoC systems including multiple appli-cations is challenging because temporal requirements of each applicationmust be respected throughout the entire design flow. Currently the de-sign of different applications is often interdependent, making converge toa solution for each application difficult. This paper proposes a composi-tional method to design applications independently, and then to executethem without interference. We define a formal modeling framework as asuitable entry point for application design. The models are executable,which enables early detection of specification errors, and include the for-mal properties of the applications based on well-defined models of com-putation. We combine this with a predictable MPSoC platform templatethat has a supporting design flow but lacks a simulation front-end. Thestructure and behavior of the application models are exported to an in-termediate format via introspection which is iteratively adapted for thebackend flow. We identify the problems arising in this adaptation andprovide appropriate solutions. The design flow is demonstrated by a sys-tem consisting of two streaming applications where less than half of thedesign time is dedicated to operating on the integrated system model.
|
|
| 5. |
- Attarzadeh Niaki, Seyed Hosein, 1984-, et al.
(author)
-
A Framework for Characterizing Predictable Platform Templates
- 2014
-
Reports (other academic/artistic)abstract
- The design of real-time multiprocessor systems is a very costly and time-consuming process due to the need for extensive verification efforts. Genericcorrect-by-construction system-level design flows, targeting predictable plat-forms, would help to tackle this problem. Unfortunately, because system-level design problems are formulated monolithically, existing methods areeither not powerful enough to perform efficient design space exploration,over-customized to a specific class of platforms, or do not allow to be ex-tended with new heuristics and solving methods, which makes their reusedifficult. We present a formal framework to explicitly capture and character-ize predictable platform templates that can be used to formulate a genericdesign flow for real-time streaming applications in a composable manner. Aproof-of-concept implementation of such a flow is performed and used to mapa JPEG encoder application onto an FPGA-based time-predictable platform.
|
|
| 6. |
- Attarzadeh-Niaki, S. -H, et al.
(author)
-
An automated parallel simulation flow for cyber-physical system design
- 2021
-
In: Integration. - : Elsevier BV. - 0167-9260 .- 1872-7522. ; 77, s. 48-58
-
Journal article (peer-reviewed)abstract
- Parallel and distributed simulation (PDS) is often employed to tackle the computational intensity of system-level simulation of real-world complex embedded and cyber-physical systems (CPSs). However, CPS models comprise heterogeneous components with diverge semantics for which incompatible PDS approaches are developed. We propose an automated PDS flow based on a formal modeling framework—with necessary extensions—targeting heterogeneous embedded and CPS design. The proposed flow characterizes the sequential executable specification of a heterogeneous model and generates a PDS cluster. State-of-the-art graph partitioning methods are adopted and a new extensible constraint-base formulation of the model partitioning problem is developed. The applicability, effectiveness, and scalability of the proposed flow is demonstrated using case studies.
|
|
| 7. |
- Attarzadeh Niaki, Seyed Hosein, 1984-, et al.
(author)
-
An Automated Parallel Simulation Flow for Heterogeneous Embedded Systems
- 2013
-
In: Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013. - 9781467350716 ; , s. 27-30
-
Conference paper (peer-reviewed)abstract
- Simulation of complex embedded and cyber-physical systems requires exploitation of the computation power ofavailable parallel architectures. Current simulation environments either do not address this parallelism or use separate models for parallel simulation and for analysis and synthesis, which might lead to model mismatches. We extend a formal modeling framework targeting heterogeneous systems with elements that enable parallel simulations. An automated flow is then proposed that starting from a serial executable specification generates an efficient MPI-based parallel simulation model by using aconstraint-based method. The proposed flow generates parallel models with acceptable speedups for a representative example.
|
|
| 8. |
- Attarzadeh-Niaki, Seyed-Hosein, 1984-, et al.
(author)
-
An extensible modeling methodology for embedded and CPS design
-
Other publication (other academic/artistic)abstract
- Abstract models are important tools to manage the increasing complexity of system design. The choice of a modeling language for constructing models governs what types of systems can be modeled and which subsequent design activities can be performed. This is especially true for the area of embedded electronic and cyber-physical system design, which poses several challenging requirements on modeling and design methodologies. This article argues that the ForSyDe methodology with the necessary extensions can fulfill these requirements and thus qualifies for the design of tomorrow’s systems. Based on the theory of models of computation and the concept of process constructors, heterogeneous models are captured in ForSyDe with precise semantics. A refined layer of the formalism is introduced to make its denotational-style semantics easy to implement on top of the commonly used imperative languages and an open-source realization on top of the IEEE standard language SystemC is reported. The introspection mechanism is introduced to automatically export an intermediate representation of the constructed models for further analysis/synthesis by external tools. Flexibility and extensibility of ForSyDe is emphasized by integrating a new timed model of computation without central synchronization, and providing mechanisms for integrating foreign models, parallel and distributed simulation, modeling adaptive, data-parallel, and non-deterministic systems. A set of ForSyDe features are demonstrated in practice and compared to similar approaches using two relevant case studies.
|
|
| 9. |
- Attarzadeh-Niaki, Seyed-Hosein, 1984-, et al.
(author)
-
An extensible modeling methodology for embedded and cyber-physical system design
- 2016
-
In: Simulation (San Diego, Calif.). - : Sage Publications. - 0037-5497 .- 1741-3133. ; 92:8, s. 771-794
-
Journal article (peer-reviewed)abstract
- models are important tools to manage the increasing complexity of system design. The choice of a modeling language for constructing models governs what types of systems can be modeled, and which subsequent design activities can be performed. This is especially true for the area of embedded electronic and cyber-physical system design, which poses several challenging requirements of modeling and design methodologies. This article argues that the Formal System Design (ForSyDe) methodology with the necessary presented extensions fulfills these requirements, and thus qualifies for the design of tomorrow's systems. Based on the theory of models of computation and the concept of process constructors, heterogeneous models are captured in ForSyDe with formal semantics. A refined layer of the formalism is introduced to make its denotational-style semantics easy to implement on top of commonly used imperative languages, and an open-source realization on top of the IEEE standard language SystemC is presented. The introspection mechanism is introduced to automatically export an intermediate representation of the constructed models for further analysis/synthesis by external tools. Flexibility and extensibility of ForSyDe is emphasized by integrating a new timed model of computation without central synchronization, and by providing mechanisms for integrating foreign models, parallel and distributed simulation, modeling adaptive, data-parallel, and non-deterministic systems. A set of ForSyDe features is demonstrated in practice, and compared with similar approaches using a running example and two relevant case studies.
|
|
| 10. |
- Attarzadeh-Niaki, Seyed-Hosein, 1984-, et al.
(author)
-
Automatic Construction of Models for Analytic Design Space Exploration Problems
-
Other publication (other academic/artistic)abstract
- Due to the variety of application semantics and also the target platforms used in embedded electronic system design, it is challenging to propose a generic and extensible analytic design-space exploration (DSE) framework. Current approaches support a restricted class of application and platform models and are difficult to extend. This paper proposes a framework to capture the system functionality, a flexible target platform, and a binding policy explicitly using coherent constraint-based representations; together with a method for automatic construction of DSE problem models from them. Heterogeneous semantics is captured using constraints on logical clocks. The applicability of this method is demonstrated by constructing DSE problem models from various combinations of application and platforms models. Time-triggered and untimed models of the system functionality and heterogeneous target platforms are used for this purpose. The constructed models can be solved using different solvers and heuristics.
|
|
