External References The full set of external references cited in the Common Technical Baseline
Articles:
How in the loop testing aids embedded system validation
News Electronics -by Goran Begic [referenced here ] A Welcome Step Forward for IEC 60601-1
Medical Device Network [referenced here ] A short trip on the CAN bus
Embedded.com [referenced here ] ASIC basics tutorial
by radio-electronics.com [referenced here ] An Introduction to Model Checking
in Embedded.com [referenced here ] An architecture for designing reusable embedded systems software,
By Dinu P. Madau, Visteon Corporation [referenced here ] Application Lifecycle Management in Embedded Systems Engineering
by Colin Doyle, in "Application Software Developer" [referenced here ] Applying distributed system concepts to embedded multiprocessor designs
in Embedded.com [referenced here ] Autosar Layered Software Architecture
Autosar documentation [referenced here ] BDTI's DSP Dictionary
[referenced here ] Basic concepts of real-time operating systems
LinuxDevices.com [referenced here ] Building wireless sensor networks
Industrial Control [referenced here ] C32025 16-bit Digital Signal Processor (DSP) Core
[referenced here ] Communication Protocols
for Embedded Systems
Bhargav P. Upender, Philip J. Koopman, Jr., CMU [referenced here ] Creating AUTOSAR Systems Models Using the Combined Power of UML and SysML
by Richard F. Boldt in Automotive Industries magazine [referenced here ] DO-160F
Changes and Updates in Chapters 15-22 and 25 [referenced here ] DSP Guru
[referenced here ] Electronics Information Online
[referenced here ] Embedded System Design Issues
by Philip J. Koopman, Jr - Carnegie Mellon University [referenced here ] Embedded-system programmers must learn the fundamentals
[referenced here ] Fundamentals of DO-160F
Section 22: Lightning Induced Transient Susceptibility [referenced here ] How to write DSP device drivers
in embedded.com [referenced here ] How to write a software requirements specification
by Robert Japenga [referenced here ] Integrated Modular Avionics: Less is More
Avionics Magazine [referenced here ] Introduction to DO-178B
Birds Project [referenced here ] Introduction to Rate Monotonic Scheduling
at Netrino by David Stewart and Michael Barr [referenced here ] Leveraging virtual hardware platforms for embedded software validation
by Bill Neifert, Carbon Design Systems [referenced here ] Matching Device Drivers with Embedded Hardware
in RTC [referenced here ] Multitasking alternatives and the perils of preemption
in Embedded.com [referenced here ] Network Processor Overview
Mark Kohler (Neutrino) [referenced here ] Networked Embedded Computing
by Microsoft Research [referenced here ] New EMC requirements for commercial avionics: RTCA/DO-160F
Interference Technology: an online guide to electromagnetic compatibility [referenced here ] Programmable logic: The key to effective interface design
by Doug Morrissey, Octasic [referenced here ] RTCA Digest: Overview of DO-160F
DO-160 Version “F” is Available [referenced here ] Real-time Posix: An Overview
Michael González Harbour [referenced here ] Reducing Power in Embedded Systems by Adding Hardware Accelerators
Embedded.com [referenced here ] Requirements Management Using Tables
by Bob Petty - Embedded.com [referenced here ] Secure Software Delivery and Installation in Embedded Systems
by André Adelsbach, Ulrich Huber, Ahmad-Reza Sadeghi [referenced here ] SoC Architecture Tackles Industrial Networking
by Karl Harper [referenced here ] Software Test and Validation
by Wayne Wolf [referenced here ] Standard Cell ASIC to FPGA Design : Methodology and Guidelines
by Altera [referenced here ] Structuring use cases with goals
Alistair A.R. Cockburn [referenced here ] Taking hold of embedded memory management
in EE Times [referenced here ] Tasty solutions for realtime Ethernet control and device connections
by Softing [referenced here ] The Advent of middleware use in embedded systems
in Embedded.ccom [referenced here ] The Death of the Structured ASIC
by Bob Zeidman, president, Zeidman Technologies [referenced here ] The How and Why of FPGA to ASIC Conversion
Chip Design Magazine [referenced here ] The best way to move multimedia data
in Embedded.com [referenced here ] The shift to multi-core DSP solutions
by Iantha Scheiwe, Freescale Semiconductor [referenced here ] The yin and yang of dynamic allocation
in Embedded.com [referenced here ] Understanding the reuse of a DSP architecture for different designs (Ceva)
by Eran Briman of CEVA [referenced here ] Use Cases: Ten Years Later
Alistair Cockburn [referenced here ] Verification/Validation/Certification
By Eushiuan Tran [referenced here ] What is Direct Memory Access ? (DMA transfers)
by ConneXions [referenced here ] What is Ethernet?
[referenced here ] White papers: Technical specifications: Presentations: Standards: Press articles: Newsletters: Teaching materials: Online book chapters: Online books: Textbooks:
Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems
by Doug Schmidt (UC Irvine) [referenced here ] An Embedded Software Primer
by David E. Simon [referenced here ] Better Embedded System Software
by Philip Koopman, Carnegie Mellon University [referenced here ] Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear Domain
by Jussi Lahtinen, Mika Johansson, Jukka Ranta, Hannu Harju and Risto Nevalainen [referenced here ] Data Flow Analysis: Theory and Practice
by Uday Khedker, Amitabha Sanyal, Bageshri Karkare [referenced here ] Deadline Scheduling for Real-Time Systems
by Stankovic, J.A., Spuri, M., Ramamritham, K., Buttazzo, G. [referenced here ] Distributed Automotive Embedded Systems
SAE International [referenced here ] Embedded Ethernet and Internet Complete
Designing and Programming Small Devices for Networking -- book by Jan Axelson [referenced here ] Embedded Networking with CAN and CANopen
Olaf Pfeiffer, Andrew Ayre and Christian Keydel, Tutors at Embedded Systems Academy [referenced here ] Embedded Systems and Software Validation
By Abhik Roychoudhur [referenced here ] Embedded systems architecture: a comprehensive guide
by Tammy Noergaard [referenced here ] Formal methods for hardware verification
By Alessandro Cimatti, Marco Bernardo [referenced here ] Functional Safety - A Straightforward Guide to Applying IEC 61508 and Related Standards
by David Smith and Kenneth Simpson [referenced here ] Model Checking
by Edmund M. Clarke, Orna Grumberg and Doron A. Peled [referenced here ] Multiplexed Networks for Embedded Systems
by Dominique Paret - NXP [referenced here ] Network Processor Design
updated in 2005 [referenced here ] Networking and Internetworking with Microcontrollers
by Fred Eady [referenced here ] Rapid Prototyping of Embedded Hardware/Software Systems
Klaus Buchenrieder in Springerlink [referenced here ] Requirements Engineering for Real-Time and Embedded Systems
by Peter Hruschka (Springer) [referenced here ] Safeware: System Safety and Computers
by Nancy Leveson [referenced here ] Software Architecture: Perspectives on an Emerging Discipline
by Mary Shaw, David Garlan [referenced here ] Systems Modeling & Requirements Specification Using ECSAM: An Analysis Method for Embedded and Computer-Based Systems
by Jonah Z. Lavi and Joseph Kudish [referenced here ] Testing Embedded Software
by Bart Broekman and Edwin Notenboom [referenced here ] Testing embedded software
by Bart Broekman,Edwin Notenboom [referenced here ] The Linux TCP/IP Stack: Networking for Embedded Systems
Linux Journal [referenced here ] Commercial documentations: Websites: Scientific journals: Scientific papers:
A Dependable Online Testing and Upgrade Architecture for Real-Time Embedded Systems
by Kihwal Lee, Lui Sha. University of Illinois at Urbana-Champaign [referenced here ] A Dynamic Memory Management Unit for Embedded
Real-Time System-on-a-Chip
[referenced here ] Actor-oriented Design of Embedded Hardware and Software Systems
Edward A. Lee,Stephen Neuendorffer, Michael J. Wirthlin [referenced here ] Communications for Integrated Modular Avionics
NASA Ames Research Center [referenced here ] Making Embedded Software Reuse Practical and Safe
By Nancy G. Leveson, Kathryn Anne Weiss.Massachusetts Institute of Technology [referenced here ] Reuse of Software in Distributed Embedded Automotive Systems
Paper by Bernd Hardung, Thorsten Kölzow, Andreas Krüger. AUDI AG [referenced here ] Safety Assessment for the Maglev Operation Control and Overall System
[referenced here ] Scheduler Modeling based on the Controller Synthesis Paradigm
Karen Altisen, Gregor Gossler, Joseph Sifakis (VERIMAG) [referenced here ] Semantic integration of Embedded Systems Design Data in an Industrial Setting
Paper by David H. Jones [referenced here ] Software Reuse in Safety-Critical Systems
Paper by Leanna Rierson [referenced here ] Specification-Based Prototyping for Embedded Systems
Critical Systems Research Group, U. of Minnesota [referenced here ] Test-Driven Development, Continuous Integration, and Design Patterns
by Michael Karlesky and Greg Williams at ESC Silicon Valley 2007 [referenced here ] The Complexity Challenge in Embedded System Design
[referenced here ] The Role of Software in Spacecraft Accidents
by Nancy Leveson [referenced here ] PhD Thesiss: Technical reports: Project websites: Webinars: Others:
