NDLI: Protocol Verification in a Software Component-Based Approach

Please wait, while we are loading the content...

2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS)

2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems

2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems

2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems

15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008)

Table of contents

Conference organization

Program Committee

Additional reviewers

Technical Activities

Robotics Today: The Good, Bad, and Ugly

System Complexity and System Failures

A Case Study: A Model-Based Approach to Retrofit a Network Fault Management System with Self-Healing Functionality

CompAA : A Self-Adaptable Component Model for Open Systems

Distributed Learning Strategies for Collaborative Agents in Adaptive Decentralized Power Systems

Goal-Based Modeling of Dynamically Adaptive System Requirements

Comparison of Simulation and Performance Modeling - A Case Study

Towards Performance Related Decision Support for Model Driven Engineering of Enterprise SOA Applications

CiCUTS: Combining System Execution Modeling Tools with Continuous Integration Environments

Design Guidance Using Simulation-Based Bayesian Belief Networks

A Case Study of Issues Related to Automotive E/E System Architecture Development

Towards Secure Mobile Payment Based on SIP

Introducing Tool Support for Managing Architectural Knowledge: An Experience Report

Model Checking with Graphical Validation Rules

Counterexample Guided Abstraction Refinement is Better under Equational Abstraction

Protocol Verification in a Software Component-Based Approach

Implementation of a Modular Mobile Mapping in a Geocomputing Platform for Location-Based Services Using Geographic Recognition

Biometric Inspired Digital Image Steganography

A Formal Model for Network-Wide Security Analysis

An Interval-Based Solution for Static Analysis in the SIGNAL Language

Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets

Fuzzy Logic-Based Performance Assessment in the Virtual, Assistive Surgical Trainer (VAST)

A Model Driven Approach to Automate the Implementation of Clinical Guidelines in Decision Support Systems

Automated Phone Capture of Diabetes Patients Readings with Consultant Monitoring via the Web

A Hybrid Approach for Modeling and Assessing Performance of Embedded Systems in a Biologically Critical Application

Optimizing Design for Variability Using Traceability Links

Taking Advantage of COTS for Developing Aspect-Oriented Software Architectures

Evaluation of Quality Attribute Variability in Software Product Families

Software Configuration Management for Product Derivation in Software Product Families

Model Driven Management of Complex Systems: Implementing the Macroscope's Vision

Utilising Abstract Matching to Preserve the Nature of Heuristics in Design Optimisation

ALI: An Extensible Architecture Description Language for Industrial Applications

A Model-Based Design Process for the SegBus Distributed Architecture

Interrupt Costs in Embedded System with Short Latency Hardware Accelerators

Energy-Aware Middleware

Hierarchical Model to Develop Component-Based Systems

V3Studio: A Component-Based Architecture Modeling Language

On the Use of DesertFD to Generate Custom Architectures for H.264 Motion Estimation

QR Recursive Least Squares IP Core Example

Testable Specifications of NoTA-based Modular Embedded Systems

The Toolbox of a Successful Software Craftsman

Introducing Agile Development Practices from the Middle

A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit

An Appraisal of Existing Evaluation Frameworks for Agile Methodologies

Scenario-Based Program Slicing

Agile Release Planning: Dealing with Uncertainty in Development Time and Business Value

AMABULO - A Model Architecture for Business Logic

Managing Model Evolution Using the CCBM Approach

A Synchronizing Technique for Syntactic Model-Code Round-Trip Engineering

The 2-chart Problem - Contemplating System Behavior in the Aggregate

Model-Driven Engineering with Large Models in the Context of Product Line Engineering with IBYKUS AP

Experiences on Model-Driven Software Development for Mobile Applications

Tag Oriented Agile Requirements Identification

XML Information Retrieval Based on Tree Matching

Towards a Generic Model for Forecasting Rain Duration Using GITIC Model

14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07)

13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)

12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05)

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.

10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings.

Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems

Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer-Based Systems-ECBS 2001

Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000)

Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems

Proceedings International Conference and Workshop on Engineering of Computer-Based Systems

Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems

Protocol Verification in a Software Component-Based Approach

Content Provider	IEEE Xplore Digital Library
Author	Mouakher, I. Souquieres, J. Alexandre, F.
Copyright Year	2008
Description	Author affiliation: Nancy Univ. Campus Sci., Nancy (Mouakher, I.; Souquieres, J.; Alexandre, F.)
Abstract	In a component-based software system, components are black boxes communicating through their interfaces, possibly using adapters. The verification of interoperability between the different components is a crucial issue to guarantee the trustworthy of the system as well as its correct realization. We present a systematic approach based on UML, the B method and its support tools to verify the correctness of component assembly at the protocol level.
Starting Page	136
Ending Page	145
File Size	730707
Page Count	10
File Format	PDF
ISBN	0769531415
DOI	10.1109/ECBS.2008.16
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2008-03-31
Publisher Place	UK
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Unified modeling language Assembly systems Access protocols Terminology Conferences Computer interfaces Communication system software Software systems Bridges Access control verification Component-based approach specification protocol
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in