Resources

ED-12C/DO-178C
RTCA
RTCA Software Considerations in Airborne Systems Discussion Forum
EUROCAE

Avionics certification
EASA
http://www.faa.gov/regulations_policies

Avionics development standards (ARP's)
SAE

Automotive standards and certification
Vehicle Type Approval
UNECE Vehicle Regulations
ISO26262 Functional safetey

Medical Devices
AAMI Meetings and events
Synergus medical device events
European Connected Health Events
European Medical Device Technology Magazine
DIA Webinars
MD&M West Conference
Quality Digest
FDA Homepage for Medical Devices
European Commission Medical Device Directives
NSAI – useful link to medical device standards
Medi SPICE
Qmed medical device industry events calendar
Medical Device School
LinkedIn listings for Medical device events
Management Forum's Medical Device Events
Medical Device and Diagnostics Event Calendar
Medical Device events calendar
Ireland Medical Devices Network with Academic and Clinical Links

Medical Device Directives
Medical Directive 93/42/EEC
Changes to Medical Directive
Software as a Medical device
2007/47/EC Amendment

Medical Device Data Systems
What the new rules leave out
Medical Device Data Systems Rule

Model Driven Development
Agile MDD

Operating Systems
Wind River operating system VxWorks 653

Formal Analysis
JML
JML Specifications for the Real-time Java API
The KeY tool
KeYTestGen tool Eclipse update

Resource Analysis
The ResAna Loop Bound Inferencing tool
The COSTA Resource Analysis tool.
Resource analysis at Radboud University Nijmegen