| 1. |
|
|
| 2. |
- Loubach, Denis S., et al.
(författare)
-
Classification and Mapping of Model Elements for Designing Runtime Reconfigurable Systems
- 2021
-
Ingår i: IEEE Access. - : Institute of Electrical and Electronics Engineers (IEEE). - 2169-3536. ; 9, s. 156337-156360
-
Tidskriftsartikel (refereegranskat)abstract
- Embedded systems are ubiquitous and control many critical functions in society. A fairly new type of embedded system has emerged with the advent of partial reconfiguration, i.e. runtime reconfigurable systems. They are attracting interest in many different applications. Such a system is capable of reconfiguring itself at the hardware level and without the need to halt the application's execution. While modeling and implementing these systems is far from a trivial task, there is currently a lack of systematic approaches to tackle this issue. In other words, there is no unanimously agreed upon modeling paradigm that can capture adaptive behaviors at the highest level of abstraction, especially when regarding the design entry, namely, the initial high-level application and platform models. Given this, our paper proposes two domain ontologies for application and virtual platform models used to derive a classification system and to provide a set of rules on how the different model elements are allowed to be composed together. The application behavior is captured through a formal model of computation which dictates the semantics of execution, concurrency, and synchronization. The main contribution of this paper is to combine suitable formal models of computation, a functional modeling language, and two domain ontologies to create a systematic design flow from an abstract executable application model into a virtual implementation model based on a runtime reconfigurable architecture (virtual platform model) using well-defined mapping rules. We demonstrate the applicability, generality, and potential of the proposed model element classification system and mapping rules by applying them to representative and complete examples: an encoder/decoder system and an avionics attitude estimation system. Both cases yield a virtual implementation model from an abstract application model.
|
|
| 3. |
- Munoz, Daniel M., et al.
(författare)
-
Low latency disturbance detection using distributed optical fiber sensors
- 2017
-
Ingår i: Proceedings of the 2017 IEEE 14th International Conference on Networking, Sensing and Control, ICNSC 2017. - 9781509044283 ; , s. 372-377
-
Konferensbidrag (refereegranskat)abstract
- Distributed optical fiber sensors based on phase-sensitive optical time domain reflectometry (Φ-OTDR) are feasible options to detect perturbations in kilometric security perimeters or mechanical structures. This technique takes advantage of electromagnetic interference immunity, small dimensions, lightweight, flexibility, and capability. Moreover, this technique can be combined with dedicated hardware architectures, in order to improve its performance and reliability. This work proposes the use of parallel hardware architectures to implement real-time detecting and locating perturbations in a Φ-OTDR distributed optical fiber vibration sensor. Hardware architectures of the iterative moving average filter and the Sobel filter were mapped on field programmable gate arrays, exploring the intrinsic parallelism in order to achieve real-time requirements. A performance comparison between the proposed solutions was addressed in terms of hardware cost, latency and power consumption.
|
|
| 4. |
- Ungureanu, George, et al.
(författare)
-
ForSyDe-Atom : Taming Complexity in Cyber Physical System Design with Layers
- 2021
-
Ingår i: ACM Transactions on Embedded Computing Systems. - : Association for Computing Machinery (ACM). - 1539-9087 .- 1558-3465. ; 20:2
-
Tidskriftsartikel (refereegranskat)abstract
- We present ForSyDe-Atom, a formal framework intended as an entry point for disciplined design of complex cyber-physical systems. This framework provides a set of rules for combining several domain-specific languages as structured, enclosing layers to orthogonalize the many aspects of system behavior, yet study their interaction in tandem. We define four layers: one for capturing timed interactions in heterogeneous systems, one for structured parallelism, one for modeling uncertainty, and one for describing component properties. This framework enables a systematic exploitation of design properties in a design flow by facilitating the stepwise projection of certain layers of interest, the isolated analysis and refinement on projections, and the seamless reconstruction of a system model by virtue of orthogonalization. We demonstrate the capabilities of this approach by providing a compact yet expressive model of an active electronically scanned array antenna and signal processing chain, simulate it, validate its conformity with the design specifications, refine it, synthesize a sub-system to VHDL and sequential code, and co-simulate the generated artifacts.
|
|
