High Confidence Software and Systems Conference 2016

file

Visible to the public Interrupts in OS code: let's reason about them. Yes, this means concurrency.

Submitted by akarns on Tue, 01/26/2016 - 3:52pm. Contributor:

Presented as part of the 2016 HCSS conference.

ABSTRACT

Existing modelled and veried operating systems (OS's) typically run on uniprocessor platforms and run with interrupts mostly disabled. This makes formal reasoning more tractable: execution is mostly sequential.

event

Visible to the public  2016 HCSS Conference
May 10, 2016 9:00 am - May 13, 2016 5:00 pm EDT

Submitted by Katie Dey on Wed, 11/04/2015 - 4:19pm

A world class community of researchers will gather in Annapolis, MD for a full week of High Confidence Software and Systems Conference activities that are structured to focus on new scientific and technological foundations that can enable entirely new generations of engineered designs that are becoming essential for effectively operating life-, safety-, security-, and mission-critical systems.

page

Visible to the public 2016 HCSS CfP

Submitted by Katie Dey on Wed, 11/04/2015 - 3:08pm

The Sixteenth Annual HCSS Conference (2016)

Call for Presentations