The use of program dependence graphs in software engineering
ICSE '92 Proceedings of the 14th international conference on Software engineering
A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Model checking
Bandera: extracting finite-state models from Java source code
Proceedings of the 22nd international conference on Software engineering
Freeing product line architectures from execution dependencies
Proceedings of the first conference on Software product lines : experience and research directions: experience and research directions
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
Proceedings of the 24th International Conference on Software Engineering
A Language Framework for Expressing Checkable Properties of Dynamic Software
Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
vUML: A Tool for Verifying UML Models
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Model Checking Implicit-Invocation Systems
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Slicing and partial evaluation of CORBA component model designs for avionics system
Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
A Model-Based Approach to System-Level Dependency and Real-Time Analysis of Embedded Software
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
VEST: An Aspect-Based Composition Tool for Real-Time Systems
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
Bogor: an extensible and highly-modular software model checking framework
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Cadena: enabling CCM-based application development in Eclipse
eclipse '03 Proceedings of the 2003 OOPSLA workshop on eclipse technology eXchange
A formal approach for modeling and verification of RTCORBA-based applications
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Invited application paper: a proposal for the specialization of HA/DRE systems
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Exploiting prescriptive aspects: a design time capability
Proceedings of the 4th ACM international conference on Embedded software
Static analysis of role-based access control in J2EE applications
ACM SIGSOFT Software Engineering Notes
Adaptive event communication in component-based systems
ARM '04 Proceedings of the 3rd workshop on Adaptive and reflective middleware
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Supporting model checking education using BOGOR/Eclipse
eclipse '04 Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange
Model-based analysis of distributed real-time embedded system composition
Proceedings of the 5th ACM international conference on Embedded software
Proceedings of the 28th international conference on Software engineering
Role-Based access control consistency validation
Proceedings of the 2006 international symposium on Software testing and analysis
Models, reflective mechanisms and family-based systems to support dynamic configuration
Proceedings of the 1st workshop on MOdel Driven Development for Middleware (MODDM '06)
Creating custom containers with generative techniques
Proceedings of the 5th international conference on Generative programming and component engineering
Resource virtualization in real-time CORBA middleware
CODES+ISSS '06 Proceedings of the 4th international conference on Hardware/software codesign and system synthesis
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Polychronous design of embedded real-time applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Platform-Independent Component Modeling Language for Distributed Real-time and Embedded Systems
Journal of Computer and System Sciences
A Contract-based Approach to Specifying and Verifying Safety Critical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
On Accurate Automatic Verification of Publish-Subscribe Architectures
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Interrupt Verification via Thread Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Proceedings of the 2007 workshop on Automating service quality: Held at the International Conference on Automated Software Engineering (ASE)
Enhancing modular OO verification with separation logic
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Towards verification and testing of Java programs
Proceedings of the 2008 ACM symposium on Applied computing
EURASIP Journal on Embedded Systems - Operating System Support for Embedded Real-Time Applications
Model driven middleware: A new paradigm for developing distributed real-time and embedded systems
Science of Computer Programming
Model replication: transformations to address model scalability
Software—Practice & Experience
Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE Systems
QoSA '09 Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems
Model-based component framework for developing domain applications
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
A survey of component based system quality assurance and assessment
Information and Software Technology
System and software architectures of distributed smart cameras
ACM Transactions on Embedded Computing Systems (TECS)
Model-centric development of highly available software systems
Architecting dependable systems IV
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Science of Computer Programming
GSA: a framework for rapid prototyping of smart alarm systems
Proceedings of the 1st ACM International Health Informatics Symposium
Contract-based formal specification of safety critical systems
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Journal of Systems Architecture: the EUROMICRO Journal
A case study in domain-customized model checking for real-time component software
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Analysis and visualization of behavioral dependencies among distributed objects based on UML models
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Towards fine-grained automated verification of publish-subscribe architectures
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Building your own software model checker using the bogor extensible model checking framework
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
The ComFoRT reasoning framework
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Real-Time scheduling techniques for implementation synthesis from component-based software models
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Replicators: transformations to address model scalability
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Simplifying autonomic enterprise java bean applications via model-driven development: a case study
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Behavioural models for hierarchical components
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
Domain-specific modeling of power aware distributed real-time embedded systems
SAMOS'06 Proceedings of the 6th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
ISPA'07 Proceedings of the 5th international conference on Parallel and Distributed Processing and Applications
Component-based models for runtime control and monitoring of embedded systems
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems
Hi-index | 0.00 |
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/mission-critical domains, component-based development is beginning to take hold as a mechanism for incorporating non-functional aspects such as real-time, quality-of-service, and distribution. To form an effective basis for development of such systems, we believe that support for reasoning about correctness properties of component-based designs is essential.In this paper, we present Cadena -- an integrated environment for building and modeling CCM systems. Cadena provides facilities for defining component types using CCM IDL, specifying dependency information and transition system semantics for these types, assembling systems from CCM components, visualizing various dependence relationships between components, specifying and verifying correctness properties of models of CCM systems derived from CCM IDL, component assembly information, and Cadena specifications, and producing CORBA stubs and skeletons implemented in Java. We are applying Cadena to avionics applications built using Boeing 's Bold Stroke framework.