Title :
13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems
Abstract :
The following topics are dealt with: adaptive computing; architectures; design evolution; distributed systems design; embedded and real-time software systems; formal methods; model-based system design; modeling and analysis of complex systems; product-family models and architectures; reliability, safety, dependability, and security; system on a chip; system assessment, testing, and metrics; verification and validation
Keywords :
distributed processing; embedded systems; formal specification; formal verification; performance evaluation; program testing; security of data; software architecture; software metrics; software reliability; system-on-chip; systems analysis; adaptive computing; complex systems analysis; complex systems modelling; distributed systems design; embedded software systems; formal methods; model-based system design; real-time software systems; security; software architectures; software reliability; software verification; system assessment; system on a chip; system reliability; system testing; system verification;
Conference_Titel :
Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on
Conference_Location :
Potsdam
Print_ISBN :
0-7695-2546-6
DOI :
10.1109/ECBS.2006.2
