Model-based analysis tools for component synthesis

Authors:
Luigia Petre;Kaisa Sere;Leonidas Tsiopoulos
Affiliations:
Department of Information Technologies, Åbo Akademi University, Turku, Finland;Department of Information Technologies, Åbo Akademi University, Turku, Finland;Department of Information Technologies, Åbo Akademi University, Turku, Finland
Venue:
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Year:
2010

Citing 12
Cited 0

Component software: beyond object-oriented programming

Component software: beyond object-oriented programming
Reasoning about Action Systems using the B-Method

Formal Methods in System Design
Action Systems in Pipelined Processor Design

ASYNC '97 Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems
Decentralization of process nets with centralized control

PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
The SYNTHESIS Environment for Component-Based Software Development

STEP '97 Proceedings of the 8th International Workshop on Software Technology and Engineering Practice (STEP '97) (including CASE '97)
Energy-aware mapping for tile-based NoC architectures under performance constraints

ASP-DAC '03 Proceedings of the 2003 Asia and South Pacific Design Automation Conference
Safe and Reliable Metro Platform Screen Doors Control/Command Systems

FM '08 Proceedings of the 15th international symposium on Formal Methods
Evolutionary algorithms for the mapping of pipelined applications onto heterogeneous embedded systems

Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Parallel and Pipeline Processing for Block Cipher Algorithms on a Network-on-Chip

ITNG '09 Proceedings of the 2009 Sixth International Conference on Information Technology: New Generations
Outstanding research problems in NoC design: system, microarchitecture, and circuit perspectives

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
A novel pipeline design for H.264 CABAC decoding

PCM'07 Proceedings of the multimedia 8th Pacific Rim conference on Advances in multimedia information processing
GeneSyst: a tool to reason about behavioral aspects of B event specifications. application to security properties

ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B

Quantified Score

Hi-index	0.00

Visualization

Abstract

Component-based development typically refers to assembling pre-existing pieces of software or hardware for integrating them into new systems. In this paper we introduce a formalism-based approach to verify the component boundaries, based on the component interdependencies. We base this synthesis method on B Action Systems and the animation techniques provided by the ProB tool. In addition, we put forward another applicability for our method, namely to mapping components to hardware platform tiles.