A unified model-based framework for the simplified execution of static and dynamic assertion-based verification
The improved productivity and reduced time-to-market are essential requirements for the
development of modern embedded systems and, therefore, the comprehensive as well as …
development of modern embedded systems and, therefore, the comprehensive as well as …
Model-based design verification for embedded systems through SVOCL: an OCL extension for SystemVerilog
Abstract Model Based System Engineering (MBSE) is a renowned approach in the context of
embedded systems development. It is frequently used to deal with the structural and …
embedded systems development. It is frequently used to deal with the structural and …
Hardware design and implementation of ECC based crypto processor for low-area-applications on FPGA
Cryptographic algorithms are widely used for security purposes. These algorithms have
been implemented in software as well in hardware. The hardware implementations gain …
been implemented in software as well in hardware. The hardware implementations gain …
Lopez Dahab based elliptic crypto processor (ECP) over GF(2163) for low-area applications on FPGA
In this paper, a novel low-area elliptic crypto processor (ECP) implementation over GF (2
163) for point multiplication (PM) is presented on field programmable gate array (FPGA) …
163) for point multiplication (PM) is presented on field programmable gate array (FPGA) …
Domain specific modeling language for cyber physical systems
The benefits of Domain Specific Modeling Languages (DSML), for modeling and design of
cyber physical systems, have been acknowledged in previous years. In contrast to general …
cyber physical systems, have been acknowledged in previous years. In contrast to general …
Expressing embedded systems verification aspects at higher abstraction level—SystemVerilog in Object Constraint Language (SVOCL)
In Model Based System Engineering (MBSE), structural and behavioral aspects of the
system are modeled at higher abstraction level. However, verification aspects such as …
system are modeled at higher abstraction level. However, verification aspects such as …
Combining SysML and Marte/CCSL to model complex electronic systems
SystemVerilog is a popular hardware description and verification language aimed at
designing and verifying present-day complex embedded systems. With the increasing …
designing and verifying present-day complex embedded systems. With the increasing …
A prediction model for measurement-based timing analysis
Temporal testing of real-time software is critical. Search-based software engineering (SBSE)
has shown its potential to assist the temporal testing by generating the test data. However …
has shown its potential to assist the temporal testing by generating the test data. However …
Generation of SystemVerilog observers from SysML and MARTE/CCSL
The UML and its associated profiles like MARTE and SysML provide a general framework to
model and analyze embedded systems. Though mostly used for modeling, MARTE is …
model and analyze embedded systems. Though mostly used for modeling, MARTE is …
[PDF][PDF] Model-Based System Engineering for Embedded Systems: Comparison of Selected Methodologies
S Alqurashi, A Albeladi, S Al-Sahli - 2019 - researchgate.net
embedded systems are complex systems that are used in various areas. In the designing
stages, model-based system engineering (MBSE) is used to make the requirements of the …
stages, model-based system engineering (MBSE) is used to make the requirements of the …