Slicing and partial evaluation of CORBA component model designs for avionics system

ABSTRACT

The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety-critical and mission-critical domains, component-based development is beginning to take hold as a mechanism for in-corporating non-functional aspects such as real-time, quality-of-service, and distribution.

REFERENCES

• 1: Cadena Development Team, SAnToS Laboratory, Kansas State University.Cadena Website. http://www.cis.ksu.edu/cadena, 2003.
• 2: John Hatcliff , Xinghua Deng , Matthew B. Dwyer , Georg Jung , Venkatesh Prasad Ranganath, Cadena: an integrated development, analysis, and verification environment for component-based systems, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
• 3: Robby, M. B. Dwyer, and J. Hatcli .Bogor Website. http://www.cis.ksu.edu/bandera/bogor, 2003.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
      D.2.4 Software/Program Verification
      D.2.9 Management
          Subjects: Software quality assurance (SQA)

General Terms:
Design, Languages, Verification

Keywords:
CORBA, components, designs, distributed systems, embedded systems, model-checking, partial evaluation, real-time systems, slicing, verification