Hi, all -

Boeing is wrapping up it's portion of the Smart Bomb Rack Controller upgrade.  The design is highly concurrent, and uses Ravenscar principles of cyclic tasks interacting via protected objects.  The use of deadline monotonic scheduling and Ravenscar design principles yielded a solid design with predictable behavior, and on-time delivery (well there was some schedule slide due to our failure to plan on the earthquake two years ago.)   ;-)  

Regards,

        - John Harbaugh

> -----Original Message-----
> From: Marc A. Criley [mailto:[log in to unmask]]
> Sent: Friday, January 17, 2003 4:07 AM
> To: [log in to unmask]
> Subject: B-1B Upgrade
> 
> 
> From the 1/13/03 Aviation Week & Space Technology, 
> "AeroBytes", pg 393:
> 
> "Boeing is modifying B-1B bombers to carry a greater variety of smart
> weapons in the Conventional Missions Upgrade Program, which includes
> replacing the six computers in the avionics, navigation and 
> weapons systems
> with four more powerful units, each with a pair of PowerPC processor
> cards.  The new computers employ Green Hills Software's 
> Integrity real-time
> operating system to take advantage of multiple-target capabilities and
> other new features, and programming will be done in Ada with 
> the company's
> AdaMulti development environment."
> 
> Also, the article immediately preceding this one, about BAE Systems
> Controls teaming up with DDC-I to develop Score-653 for 
> safety critical
> embedded systems, mentions that "Ada is considered a reliable 
> language".
> 
> Marc A. Criley
> Quadrus Corporation
> www.quadruscorp.com
>