Method for Testing and Debugging Flow Formal Specification in Full-Stack Embedded Systems Designs

Pinkevich, Vasiliy; Platunov, Alexey

doi:10.1109/meco49872.2020.9134213

Cited by 4 publications

(3 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The IC industry has evolved rapidly over the last years due to the scaling of the devices' size, which lead to a high integration capability and enabled high performance of the chips [2], [3], [4]. These high-performance ICs led to the development of the embedded systems, which comprise both hardware and software designed specifically for a certain function, all these embedded and digital systems being synchronized upon clock signals [5].…”

Section: A Motivationmentioning

confidence: 99%

A Novel Frequency Measurement Methodology for Clock Synchronization in SPICE-Based Simulators

Guran,

Florescu,

Perisoara

2023

IEEE Access

View full text Add to dashboard Cite

Nowadays, there is an increasing demand for complex behavioral models on the market, as simulation has become the main verification approach used for both analog and digital functionalities. One of the most popular mixed-signal simulators nowadays is Simulation Program for Integrated Circuits Emphasis (SPICE). Over the last decade, the digital part in circuits has become predominant, but this poses big challenges when developing SPICE simulation models, as the circuits are synchronized upon internal or external clock signals, where the frequency accuracy is mandatory. The existing SPICE based simulators have built-in options to measure the signal frequency and duty cycle, but only after the simulation has completed, and in this way the frequency information can not be used during the simulation to synchronize the clock signals. There is a lot of research on frequency measurement techniques in the literature, but this topic has not been translated and covered in SPICE until now. Implementing the physical frequency measurement circuits proposed previously in the literature would increase the models' complexity and the simulation time, without benefitting the final user. For this reason, in this article, a novel frequency measurement methodology for clock synchronization in SPICE based simulators is proposed, which aims to provide accurate measured frequency and duty cycle values for the digital clock signals with a fast simulation time. The performance evaluation of this methodology is done using OrCAD Capture, which is the most popular SPICE-based simulation environment.

show abstract

Section: A Motivationmentioning

confidence: 99%

A Novel Frequency Measurement Methodology for Clock Synchronization in SPICE-Based Simulators

Guran,

Florescu,

Perisoara

2023

IEEE Access

View full text Add to dashboard Cite

show abstract

“…Los sistemas informáticos embebidos son sistemas informáticos específicos para una aplicación, que interactúan con objetos complejos del mundo físico y se crean con respecto a los requerimientos específicos del proyecto [5]. Los sistemas embebidos han entrado en la era de la tecnología a gran escala de servicios inteligentes de la era del desarrollo independiente.…”

Section: B Sistemas Embebidosunclassified

Development of IoT Embedded Board with Website for Configurations of Sensors and Setpoints

Barahona¹,

Orellana²

2022

Proceedings of the 20th LACCEI International Multi-Conference for Engineering, Education and Technology: “Education, Research A

View full text Add to dashboard Cite

The 4.0 industrial revolution refers to new technologies such as the Internet of Things and Wireless Communication. Currently, the Internet of Things connects more than 26 billion devices, and large industries are implementing Wireless Communication on machine-to-machine communication. Also, individuals continue to seek intelligent technological devices for the efficiency of their daily life tasks. Although the Internet of Things has many applications, the aim of this current investigation is the Wifi communication of an embedded board to an App to identify the advantages of using an IoT board compared to other intelligent control devices. To develop the embedded board containing three sensors and a PIC microcontroller with a Wireless Communication through a Wifi NodeMCU module that sent data to a website for data monitoring and controlling, a quantitative approach, and a V-model was used. The results determined that the development of the embedded board was more economical than a PLC. Based on its low-cost and easy maintenance, it's concluded that the design of the embedded board in this investigation is a good alternative for monitoring sensor data remotely.

show abstract

“…In view of this, the scientific community needs to consider new strategies for the design of RTR embedded systems. Other researches take for example software and hardware codesign [5], [6], testing and debugging [7], or even concepts analyzed as separated pieces. Also, most of them do not tackle software and hardware reconfiguration as formal aspects in the design flow, even when examining RTR [8].…”

Section: Introductionmentioning

confidence: 99%

Classification and Mapping of Model Elements for Designing Runtime Reconfigurable Systems

Loubach¹,

Bonna

Ungureanu

et al. 2021

IEEE Access

View full text Add to dashboard Cite

Method for Testing and Debugging Flow Formal Specification in Full-Stack Embedded Systems Designs

Cited by 4 publications

References 14 publications

A Novel Frequency Measurement Methodology for Clock Synchronization in SPICE-Based Simulators

A Novel Frequency Measurement Methodology for Clock Synchronization in SPICE-Based Simulators

Development of IoT Embedded Board with Website for Configurations of Sensors and Setpoints

Classification and Mapping of Model Elements for Designing Runtime Reconfigurable Systems

Contact Info

Product

Resources

About