Support
|
SYSGO - Embedding Innovations
Products
PikeOS
RTOS
and Virtualization
RTOS
Technology
Embedded Virtualization
Partitions & Personalities
Safety Certification
Security Certification
Eclipse based CODEO
Hardware Support
ELinOS Embedded Linux
Why ELinOS?
What's new with ELinOS 5.1
Features and Technologies
Application Development
Service and Support
Support CPUs & Boards
Safety-Critical Ethernet/
AFDX
Software vs. Hardware Solution
Technical Details
Board Support Packages
ELinOS
BSP
list
PikeOS
BSP
list
Document Center
Abbreviations
Data Sheets
Whitepapers
Built-in Innovation
Virtualization
Safety
Security
Services & Solutions
Industry Solutions
Aerospace & Defense
Automotive & Transportation
Industrial Automation & Medical
Network Infrastructure
Consumer Electronics
Technology Solutions
Virtualization
Safety
Security
Extended Longevity
Personalities
Core Components
Professional Services
Training
Consulting
ELinOS Demoserver
Customer Support
Commitment to Quality
Certification Services
Safety & Security Certification
Safety for Multi-Cores
Common Criteria
RTCA
DO-178B
IEC
61508
DIN
EN
50128
ISO
26262
IEC
62304
SYSGO solutions at work
Use Cases
Business Solutions
Customer Successes
Partners
Partner Directory
Hardware Partner
Software Partner
Distribution Partner
Affiliations
Industry Consortiums
Standards
Technology Alliance
Technology Alliance
News & Events
Press, Articles, Cover Stories
Press Releases
Articles
Cover Stories
Events
Shows/Conferences
Seminars
Webcasts/Videos
Newsletter
Subscribe
Unsubscribe
Company
About SYSGO
About SYSGO
Research @ SYSGO
R&D Projects
University Program
Contact
Jobs
Job Offers Czech Republic
Job Offers France
Job Offers Germany
Job Offers Students
Legal
Imprint
General Terms and Conditions
Privacy Policy
You are here:
Products
>
Document Center
>
Whitepapers
Contact us
Customer Support
Product Support
ELinOS Demoserver
Next Events
May 22, 2012
MAE UK
Reading, UK
23-05-2012 to 24-05-2012
Electronic Days
Paris-Orly Airport, France
June 27, 2012
Embedded Masterclass 2012
Cambridge, UK
more events
Whitepaper Downloads
Click here to download Whitepapers.
Proving Memory Separation in a Microkernel by Code Level Verification
A consideration of formal verification of a kernel memory manager as one of the crucial components of the separation functionality
Download...
Extending the GWV Security Policy and its Modular Application to a Separation Kernel
An analysis and application of the GWV security policy carried out as a part of the SeSaM and TECOM projects
Download...
Safety-Critical Ethernet/AFDX - Concept, Design, Implementation and Beyond
An overview of a software based solution DO-178B certified
Download...
Better Avionics Software Reliability by Code Verification
An overview of recent code verification techniques being applied to a commercial
RTOS
Download...
Bringing together real-time and Virtualization
An introduction how SYSGO had to reinvent the Microkernel concept to meet
RTOS
requirements
Download...
Safe and Secure Virtualization in a Separation Microkernel
An introduction on how PikeOS can help to solve security issues
Download...
The PikeOS Concept – History and Design
Genesis of the successful commercial implementation of the Safe and Secure Virtualization concept
Download...
Safe and Cooperative Coexistence of a SoftPLC and Linux
An introduction how to utilize softPLC technology to embedded Linux in a safe and secure environment
Download...
Scheduling Virtual Machines in Real-time Embedded Systems
An introduction how modern scheduling methodologies optimize performance and security of embedded systems
Download...
Combining Partitioning and Virtualization for Safety-Critical Systems
An introduction in facing complexity and criticality challenges of todays safety-critical systems
Download...
Print this page
Newsletter
|
Contact
|
Imprint
|
General Terms and Conditions
