Home
Teaching
Research
Publications
Contact
Section
Research
Overview
Projects
CANDLE
AORTA
Publications
Links
Northumbria University
>
CEIS
PDF
Useful Links
Links
Research Groups / Organisations
Books, Journals, Magazines
External Projects
ACM SIGBED
BRICS
CAN in Automation (CiA)
CHESS
CMU
Distributed and Complex Systems Research Group
Games RTN
High Integrity Systems Engineering (York)
IEE PN ERTS
IEEE Control Systems Society
IEEE Real-Time Research Repository
IFAC
Microelectronics Centre, Northumbria
MISRA
MRTC
Scottish Embedded Software Centre
SRI International
TUCS Embedded Systems Laboratory
Twente
Uppsala
VERIMAG
Vienna
Virginia
York
ACM Transaction in Embedded Computing Systems
Amazon search for 'Embedded Systems'
CMU Technical Reports
Dedicated Systems Magazine
Elsevier Computer Science
Embedded.com
Formal Methods in System Design
(
Local access
)
Journal of Embedded Computing
Journal of Real-Time Systems
(
Local access
)
New SPIN book
Software Tools for Technology Transfer
(
Local access
)
Uppsala Technical Reports
AIT-WOODDES
AMETIST
ARTES
ARTIST
CARTS
Control and Computation
Daedalus
NEXT TTA
OMEGA
OpEm (Open Embedded Systems)
RECSYS
SACRES
SETTA
VHS
Events
Tools
Education and Training
IPSN 2006
SIGBED events
CODES/ISSS 2005
EMSOFT 2005
ACSD 2004
CAV 2004
CONCUR 2004
DSN 2004
ECRTS 2004
ETAPS 2004
FESCA 2004
FORMATS-FTRTFT 2004
HSCC 2004
LCTES 2004
RTAS 2004
SenSys 2004
WODES 2004
CASES 2003
EMSOFT 2003
ESSES 2003
RTSS 2003
SIVOES-MDA 2003
SVERTS 2003
BANDERA
BLAST
CADP
CBMC
Charon
Checkmate
Esterel
Giotto
(H)CMC
d/dt
HyTech
IF
Java Pathfinder
KRONOS
Mocha
Murphi
NuSMV
Parma Polyhedra Library
PRISM
RAPTURE
SLAM
SMV (CMU)
SMV (Cadence)
SPIN
TIMES
UPPAAL
Verisoft
Automated deduction course (SRI International)
Dependable Embedded Systems course (CMU)
Distributed Embedded Systems course (CMU)
Embedded Systems course (Saarlandes)
Embedded Systems Training
Guidelines for a graduate curriculum on Embedded Software and Systems
Modelling and analysis course (MIT)
Modelling and analysis course (NYU)
Real-time systems course (Kansas State University)
Safety-Critical Systems course (Glasgow)
Software Safety course (Abo Akademi)
Uppsala PhD course in Verification
Wireless Communications and Sensor Networks
RTOS
Industry and Commerce
Miscellaneous
Marte OS
uC/OS-II
OSEK/VDX
SHARK
ARM
Bosch CAN
IAR Systems
ILogix
Prover Technology
Reactive Systems, inc
TTTech
DSTAN: UK Defence Standardisation
Grand Challenges for Computing Research
IBM developerWorks
Jack Ganssle
Model Checking Links
Petri Nets World
VLib: Formal Methods
VLib: Safety-Critical Systems
