Embedded Digital Control with Microcontrollers

Ünsalan, Cem; Barkana, Duygun; Gürhan, Hüseyin Deniz

doi:10.1002/9781119576600

Cited by 6 publications

(2 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Each team had to choose one of the two systems and on their own, expand on it. Either implement the full Proportional Integral Derivative (PID) Control [13], [14], if they choose to work on the 2-wheel robot or get data from sensors on their mobile over the Bluetooth, if they choose that project. Finally, each team had to present their work.…”

Section: The Data Acquisition Lab: An Illustrating Examplementioning

confidence: 99%

The Applied Model Approach in a Skills-Based Education

Adam,

Katsiris,

Michalis

et al. 2023

EJENG

View full text Add to dashboard Cite

As science advances at a great pace, transforming businesses and the industry, companies reassess the skills and competencies that are demanded from new candidates, shifting from the old model that valued specialized knowledge to one that prioritizes skills, like critical thinking, creativity, communication, collaboration. Higher Education follows suit, as many Universities across the world redesign their programs towards a skills oriented education. In this paper, we discuss the applied model approach as an effective scheme to achieve a skills based education. We provide an illustrating example of the implementation of this model in the Data Acquisition Lab, in the 8th semester of the Electrical and Electronic Engineering Educators program at the School of Pedagogical and Technological Education (ASPETE).

show abstract

Section: The Data Acquisition Lab: An Illustrating Examplementioning

confidence: 99%

The Applied Model Approach in a Skills-Based Education

Adam,

Katsiris,

Michalis

et al. 2023

EJENG

View full text Add to dashboard Cite

show abstract

“…To develop a program for an MCU, developers write code directly in assembly, or compile programs written in high level languages such as C [22,23]. The program is then loaded to the MCU with a physical programming tool such as JTAG.…”

Section: Exhaustive Verificationmentioning

confidence: 99%

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems

2022

View full text Add to dashboard Cite

Security-critical applications often rely on memory isolation mechanisms to ensure integrity of critical data (e.g., keys) and program instructions (e.g., implementing an attestation protocol). These include software-based security microvisor (S𝜇V) or hardware-based (e.g., TrustLite or SMART). Here, we must guarantee that none of the assembly-level instructions corresponding to a program violate the imposed memory access restrictions. We demonstrate our approach on two architectures (S𝜇V and TrustLite) on which remote attestation protocols are implemented. We extend an approach based on the Binary Analysis Platform (BAP) to generate compiled assembly for a given C program, which is translated to an assembly intermediate language (BIL) and ultimately to Isabelle/HOL theories. In our extension, we develop an adversary model and define conformance predicates imposed by an architecture. We generate a set of programs covering all possible cases in which an assembly-level instruction attempts to violate at least one of the conformance predicates. This shows that the memory access restriction of both S𝜇V and TrustLite are dynamically maintained. Moreover, we introduce conformance predicates for assembly-level instructions that can change the control flow, which improve TrustLite's memory protection unit.CCS Concepts: • Security and privacy → Logic and verification.

show abstract