Loading...
Please wait, while we are loading the content...
Similar Documents
Provably dependable software architectures for adaptable avionics
| Content Provider | Semantic Scholar |
|---|---|
| Author | Stavridou-Coleman, Victoria |
| Copyright Year | 1999 |
| Abstract | Dependable architectures demonstrably possess properties such as safety, security and fault tolerance. We are interested in developing methods allowing formal demonstrations through proof that an architecture does indeed possess the desired dependability properties. We focus on architecture hierarchies as a means of enabling such demonstrations. Integrated avionics offer unprecedented generality and on-board computing utilization which areadaptability enabling technologies. We pose integrated avionics as a challenge problem for dependable software architectures and we propose a research agenda for solving it. What are dependable software |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.csl.sri.com/dsa/publis/wpaper.ps |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
