A Model-Based Approach for Executable Specifications on Reconfigurable Hardware

Schattkowsky, Tim; Mueller, Wolfgang; Rettberg, Achim

doi:10.1109/date.2005.20

Cited by 14 publications

(9 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…At system-level, DSE is challenging because the system design space is extremely large and so usual simulation-based analysis techniques fail to efficiently observe the above mentioned metrics. Contributions on DSE environments such as [18][19][20][21][22][23][24] generally rely on a high-level language to describe application functions and architectures. For example, [22][23][24] rely on UML or MARTE diagrams.…”

Section: Integration Of Mission Planning and Autonomous Vehiclementioning

confidence: 99%

Safe and Secure Support for Public Safety Networks

Apvrille¹,

Li²

2017

Wireless Public Safety Networks 3

View full text Add to dashboard Cite

SUMMARYThe advent of autonomous vehicles and UAVs offers additional support for disaster relief efforts. These self-managing objects are able to gather data, deploy a wireless network, and other simple routine maintenance tasks, freeing up aid workers to focus their efforts on the rescue itself. Fleets of UAVs may deploy mobile communication networks, and with their mobility advantage, also gather visual images of areas to coordinate relief efforts. Autonomous vehicles may deploy a higher-powered wireless relay, and also transport supplies or evacuate patients from treacherous areas without risking the life of a driver. However, during these precarious situations, faults in the design of these autonomous vehicles, should they be exposed and exploited, may worsen the disaster. It is important to ensure that these deployed autonomous objects will execute both safely and securely. In this chapter, we present a design methodology SysML-Sec in the open-source toolkit TTool for the design and verification of both autonomous objects and mission planning.

show abstract

Section: Integration Of Mission Planning and Autonomous Vehiclementioning

confidence: 99%

Safe and Secure Support for Public Safety Networks

Apvrille¹,

Li²

2017

Wireless Public Safety Networks 3

View full text Add to dashboard Cite

show abstract

“…Furthermore, the UML-based design methodology included a model compiler that can help designers to translate the system-level specifications of reconfigurable architectures into executable applications. Schattkowsky et al [31] also proposed a model-based approach for executable UML to close the gap between the system specification and its model-based execution on reconfigurable hardware. The UML specifications can be compiled to binary representations that were directly executed on their proposed abstract machine platform.…”

Section: Related Workmentioning

confidence: 99%

“…Similar to the UML-based DPRS design methodologies [4,31], the MPC methodology adopts the MDA-based UML approach to make the DPRS design more realistic and applicable in an industrial setting. However, different from the UML-based DPRS design methodologies [4,31] that focused on the functional code generation with poor support for design-space exploration, the MPC methodology includes a complete and effective verification and estimation for a DPRS design.…”

Section: Related Workmentioning

confidence: 99%

“…However, different from the UML-based DPRS design methodologies [4,31] that focused on the functional code generation with poor support for design-space exploration, the MPC methodology includes a complete and effective verification and estimation for a DPRS design.…”

Section: Related Workmentioning

confidence: 99%

“…Many existing hardware/software co-design methodologies [4,5,6,12,23,29,31] have proposed different effective and innovative approaches for the DPRS development; however, they only focus on parts of the DPRS development without supporting the full design and verification flow. As a result, there still exist many gaps in the DPRS development, even though they have many remarkable research results.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Model-based platform-specific co-design methodology for dynamically partially reconfigurable systems with hardware virtualization and preemption

Huang

Hsiung

Shen

2010

Journal of Systems Architecture

View full text Add to dashboard Cite

To facilitate the development of the dynamically partially reconfigurable system (DPRS), we propose a model-based platform-specific co-design (MPC) methodology for DPRS with hardware virtualization and preemption. For DPRS analysis and validation, a model-based verification and estimation framework is proposed to make model-driven architecture (MDA) more realistic and applicable to the DPRS design. Considering inherent characteristics of DPRS and real-time system requirements, a semi-automatic model translator converts the UML models of DPRS into timed automata models with transition urgency semantics for model checking. Furthermore, a UMLbased hardware/software co-design platform (UCoP) can support the direct interaction between the UML models and the real hardware architecture. Compared to the existing estimation methods, UCoP can provide accurate and efficient platform-specific verification and estimation. We also propose a hierarchical design that consists of a hardware virtualization mechanism for dynamically linking the device nodes, kernel modules, and on-demand reconfigurable hardware functions and a hardware preemption mechanism for further increasing the utilization of hardware resources per unit time. Further, we realize a dynamically partially reconfigurable network security system (DPRNSS) to show the applicability and practicability of the MPC methodology. The DPRNSS can not only dynamically adapt some of its hardware functions at run-time to meet different system requirements, but also * Corresponding author: Tel.: Preprint submitted to Journal of Systems Architecture August 13, 2010 determine which mechanism will be used. Our experiments also demonstrate that the hardware virtualization mechanism can save the overall system execution time up to 12.8% and the hardware preemption mechanism can reduce up to 41.3% of the time required by reconfiguration-based methods.

show abstract

Formal system‐level design space exploration

Knorreck

Apvrille

Pacalet

2012

Concurrency and Computation

View full text Add to dashboard Cite

SUMMARYDIPLODOCUS is a UML profile intended for the modeling and the formal verification of real‐time and embedded applications commonly executed on complex Systems‐on‐Chip. DIPLODOCUS implements the Y‐chart approach, that is, application and HW architecture (e.g., CPUs, bus, memories) are first described independently and are subsequently related to each other in a mapping stage. Abstract tasks and communication primitives are therefore mapped onto platform elements like buses and CPUs. DIPLODOCUS endows all models with a formal semantics, thereby paving the way for formal proofs both before and after mapping. More concretely, application, architecture, and mapping models can be edited in TTool – an open‐source toolkit – using UML diagrams. Then, pre‐mapping or post‐mapping UML models may be automatically transformed into a LOTOS‐based representation. This specification is in turn amenable to model‐checking techniques to evaluate properties of the system, for example, safety, schedulability, and performance properties. A smart card system serves as case study to illustrate the formal verification capabilities of DIPLODOCUS. Copyright © 2012 John Wiley & Sons, Ltd.

show abstract

A Model-Based Approach for Executable Specifications on Reconfigurable Hardware

Cited by 14 publications

References 12 publications

Safe and Secure Support for Public Safety Networks

Safe and Secure Support for Public Safety Networks

Model-based platform-specific co-design methodology for dynamically partially reconfigurable systems with hardware virtualization and preemption

Formal system‐level design space exploration

Contact Info

Product

Resources

About