A temporal logic approach to the specification of reconfigurable component-based systems

被引：19
|
作者：
Aguirre, N [1 ]
Maibaum, T [1 ]
机构：
[1] Univ London Kings Coll, Dept Comp Sci, London WC2R 2LS, England
来源：
ASE 2002: 17TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING | 2002年
关键词：
D O I：
10.1109/ASE.2002.1115028
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We propose a formal specification language for dynamically reconfigurable component-based systems, based on temporal logic. The main aim of the language is to allow one to specify behaviours of component-based systems declaratively, with special emphasis on behaviours in which the architectural structure of the system changes dynamically. Due to the semantics and organisation of our language, it is straightforward to hierarchically build reconfigurable systems in terms of subsystems and basic component parts, and reason about them within the language. Despite its expressive power the language is rather simple.
引用
收藏
页码：271 / 274
页数：4
相关论文
共 50 条
  • [31] An Architectural Approach to Safety of Component-based Robotic Systems
    Jung, Min Yang
    Kazanzides, Peter
    [J]. 2016 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2016, : 3360 - 3366
  • [32] A component-based design approach for collaborative distributed systems
    Moo-Mena, F
    Drira, K
    [J]. ADVANCED DISTRUBUTED SYSTEMS, 2004, 3061 : 197 - 206
  • [33] Formal specification of non-functional properties of component-based software systems
    Zschaler, Steffen
    [J]. SOFTWARE AND SYSTEMS MODELING, 2010, 9 (02): : 161 - 201
  • [34] The SAVE approach to component-based development of vehicular systems
    Akerholm, Mikael
    Carlson, Jan
    Fredriksson, Johan
    Hansson, Hans
    Hakansson, John
    Moeller, Anders
    Pettersson, Paul
    Tivoli, Massimo
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2007, 80 (05) : 655 - 667
  • [35] A Component-Based Approach to Hybrid Systems Safety Verification
    Mueller, Andreas
    Mitsch, Stefan
    Retschitzegger, Werner
    Schwinger, Wieland
    Platzer, Andre
    [J]. INTEGRATED FORMAL METHODS (IFM 2016), 2016, 9681 : 441 - 456
  • [36] Towards a specification technique for component-based measurement and control software for embedded systems
    Maydl, W
    Sick, B
    Grass, W
    [J]. PROCEEDINGS OF THE 28TH EUROMICRO CONFERENCE, 2002, : 74 - 80
  • [37] A component-based approach for conveying systems control design
    Lallican, Jean-Louis
    Berruet, Pascal
    Rossi, Andre
    Philippe, Jean-Luc
    [J]. ICINCO 2007: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL SPSMC: SIGNAL PROCESSING, SYSTEMS MODELING AND CONTROL, 2007, : 329 - 336
  • [38] A component-based approach to the design of networked control systems
    Arzen, Karl-Erik
    Bicchi, Antonio
    Dini, Gianluca
    Hailes, Stephen
    Johansson, Karl H.
    Lygeros, John
    Tzes, Anthony
    [J]. EUROPEAN JOURNAL OF CONTROL, 2007, 13 (2-3) : 261 - 279
  • [39] Quality aspects for component-based systems: A metrics based approach
    Kumar, Vijai
    Sharma, Arun
    Kumar, Rajesh
    Grover, P. S.
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2012, 42 (12): : 1531 - 1548
  • [40] A component-based reconfigurable manufacturing execution system
    Zhang, SJ
    [J]. CONCURRENT ENGINEERING: THE WORLDWIDE ENGINEERING GRID, PROCEEDINGS, 2004, : 621 - 625
12345