Results 301 to 310 of about 2,827,837 (350)
Some of the next articles are maybe not open access.
Computer, 2010
Embedded systems pose special challenges to system evolution: they're embedded in a changing environment, often interacting with evolving processes of human organizations, and thus must be verified because of their critical nature. Complicating the situation, the analyses and testing regimens used to verify them must evolve as well.
G. Karsai +3 more
openaire +4 more sources
Embedded systems pose special challenges to system evolution: they're embedded in a changing environment, often interacting with evolving processes of human organizations, and thus must be verified because of their critical nature. Complicating the situation, the analyses and testing regimens used to verify them must evolve as well.
G. Karsai +3 more
openaire +4 more sources
, 1989 Up to now we have not paid much attention to the overall environment in which the expert system operates. Essentially, we have relied upon the dialog-oriented features of Prolog itself. This is certainly adequate for a prototype system, where one’s interest is more the demonstration and verification of the functionality of a given system concept ...
Lawrence W. Bernhard +2 more
openaire +1 more source
Building embedded systems with embedded DSLs
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014We report on our experiences in synthesizing a fully-featured autopilot from embedded domain-specific languages (EDSLs) hosted in Haskell. The autopilot is approximately 50k lines of C code generated from 10k lines of EDSL code and includes control laws, mode logic, encrypted communications system, and device drivers.
Lee Pike +4 more
openaire +2 more sources
Embedding security in wireless embedded systems
16th International Conference on VLSI Design, 2003. Proceedings., 2003We present an overview of how the need for security will impact the design of embedded systems and the ICs they contain. After a brief introduction to security, we discuss the challenges security processing poses to embedded system architects, integrators, HW designers, and SW engineers.
Anand Raghunathan +2 more
openaire +2 more sources
Dependability of embedded systems
Proceedings of the 24th International Conference on Software Engineering. ICSE 2002, 2002Almost all modem, engineered systems depend on computers for their correct operation. The cost, size, and power requirements of microprocessors have dropped to a point where it is both feasible and desirable to embed computers into everything from people to toasters.
openaire +2 more sources
Introduction to Embedded Systems
2020This chapter introduces the general concept of an embedded system. The goal is to provide a high-level understanding of what an embedded computer is, their role in modern society, and motivation to learn more about them.
openaire +2 more sources
Embedded system security [PDF]
Computer, 2004 From cars to cell phones, video equipment to MP3 players, and dishwashers to home thermostats - embedded computers increasingly permeate our lives. But security for these systems is an open question and could prove a more difficult long-term problem than security does today for desktop and enterprise computing.
openaire +1 more source
Multiprocessing in Embedded Systems
2017This Chapter covers multiprocessing in embedded systems. It explains the requirements of Symmetric Multiprocessing (SMP) systems and compares the approach to SMP of Intel with that of ARM. It lists ARM MPcore processors and describes the components and functions of ARM MPcore processors in support of SMP.
openaire +2 more sources
Embedded System Paranoia: a tool for testing embedded system arithmetic
Information and Software Technology, 2005The quality of arithmetic implementation is of concern to all who work with or depend on the results of numerical computations. Embedded systems have become enormously complicated and widespread in most if not all consumer devices in recent years so there is a clear need to measure the quality of the arithmetic in the same way that conventional systems
openaire +1 more source
2017
This chapter covers models of embedded systems. First, it describes and demonstrates the simple super-loop system model and points out its shortcomings. Next, it explains the event-driven system model and demonstrates both periodic and asynchronous event-driven systems by example programs.
openaire +2 more sources
This chapter covers models of embedded systems. First, it describes and demonstrates the simple super-loop system model and points out its shortcomings. Next, it explains the event-driven system model and demonstrates both periodic and asynchronous event-driven systems by example programs.
openaire +2 more sources