Author: Arne Haber
Publisher: Shaker Verlag GmbH
ISBN: 3844046976
Category : Computers
Languages : en
Pages : 400
Book Description
Formal ADLs offer great potential to analyse the architecture of a system, predict the overall performance by using simulations, and allow to automatically generate parts of the implementation. Nevertheless, ADLs are rather not used in industrial practice since several problems hinder to exploit their potential to the full extend. This thesis elaborates the design of an ADL that copes with these impediments of ADLs in practice. Therefore, the design of a lightweight ADL is derived which also provides well defined extension points to be adapted to a certain domain or development process. Furthermore, it is investigated how architectural modeling can be enriched with agile development methods to support incremental modeling and the validation of system architectures. Therefore, a set detailed of requirements for architectural modeling and the simulation of system architectures is defined and MontiArc, a concrete ADL to model logical architectures of distributed, interactive systems, is derived. The language is based on the mathematical FOCUS [BS01] framework, which allows to simulate modeled systems in an event-based style. Code generators and a simulation framework provide means to continuously refine and test architectural models. To add new features or adapt the language to a new domain, a corresponding language extension method is presented to extend the syntax, language processing tools, and code generators of the ADL. A lightweight model library concept is presented which allows to develop and reuse component models and their implementation in a controlled and transparent way. The developed language, the simulator, and the language extension techniques have been examined in several case studies which either used or extended MontiArc.
MontiArc - Architectural Modeling and Simulation of Interactive Distributed Systems
Author: Arne Haber
Publisher: Shaker Verlag GmbH
ISBN: 3844046976
Category : Computers
Languages : en
Pages : 400
Book Description
Formal ADLs offer great potential to analyse the architecture of a system, predict the overall performance by using simulations, and allow to automatically generate parts of the implementation. Nevertheless, ADLs are rather not used in industrial practice since several problems hinder to exploit their potential to the full extend. This thesis elaborates the design of an ADL that copes with these impediments of ADLs in practice. Therefore, the design of a lightweight ADL is derived which also provides well defined extension points to be adapted to a certain domain or development process. Furthermore, it is investigated how architectural modeling can be enriched with agile development methods to support incremental modeling and the validation of system architectures. Therefore, a set detailed of requirements for architectural modeling and the simulation of system architectures is defined and MontiArc, a concrete ADL to model logical architectures of distributed, interactive systems, is derived. The language is based on the mathematical FOCUS [BS01] framework, which allows to simulate modeled systems in an event-based style. Code generators and a simulation framework provide means to continuously refine and test architectural models. To add new features or adapt the language to a new domain, a corresponding language extension method is presented to extend the syntax, language processing tools, and code generators of the ADL. A lightweight model library concept is presented which allows to develop and reuse component models and their implementation in a controlled and transparent way. The developed language, the simulator, and the language extension techniques have been examined in several case studies which either used or extended MontiArc.
Publisher: Shaker Verlag GmbH
ISBN: 3844046976
Category : Computers
Languages : en
Pages : 400
Book Description
Formal ADLs offer great potential to analyse the architecture of a system, predict the overall performance by using simulations, and allow to automatically generate parts of the implementation. Nevertheless, ADLs are rather not used in industrial practice since several problems hinder to exploit their potential to the full extend. This thesis elaborates the design of an ADL that copes with these impediments of ADLs in practice. Therefore, the design of a lightweight ADL is derived which also provides well defined extension points to be adapted to a certain domain or development process. Furthermore, it is investigated how architectural modeling can be enriched with agile development methods to support incremental modeling and the validation of system architectures. Therefore, a set detailed of requirements for architectural modeling and the simulation of system architectures is defined and MontiArc, a concrete ADL to model logical architectures of distributed, interactive systems, is derived. The language is based on the mathematical FOCUS [BS01] framework, which allows to simulate modeled systems in an event-based style. Code generators and a simulation framework provide means to continuously refine and test architectural models. To add new features or adapt the language to a new domain, a corresponding language extension method is presented to extend the syntax, language processing tools, and code generators of the ADL. A lightweight model library concept is presented which allows to develop and reuse component models and their implementation in a controlled and transparent way. The developed language, the simulator, and the language extension techniques have been examined in several case studies which either used or extended MontiArc.
Masters Theses in the Pure and Applied Sciences Accepted by Colleges and Universities of the United States and Canada
Author:
Publisher:
ISBN:
Category : Chemistry
Languages : en
Pages : 442
Book Description
Publisher:
ISBN:
Category : Chemistry
Languages : en
Pages : 442
Book Description
Master's Theses Directories
Author:
Publisher:
ISBN:
Category : Dissertations, Academic
Languages : en
Pages : 488
Book Description
"Education, arts and social sciences, natural and technical sciences in the United States and Canada".
Publisher:
ISBN:
Category : Dissertations, Academic
Languages : en
Pages : 488
Book Description
"Education, arts and social sciences, natural and technical sciences in the United States and Canada".
Cutting Edge Robotics
Author:
Publisher: I-Tech
ISBN: 3866110383
Category : Robotics
Languages : en
Pages : 796
Book Description
Publisher: I-Tech
ISBN: 3866110383
Category : Robotics
Languages : en
Pages : 796
Book Description
Development and Validation of a Flexible, Open Architecture, Transportation Simulation with an Adaptive Traffic Signal Control Implementation
Author: Michael P. Hunter
Publisher:
ISBN:
Category : Electronic traffic controls
Languages : en
Pages : 282
Book Description
Publisher:
ISBN:
Category : Electronic traffic controls
Languages : en
Pages : 282
Book Description
Computer and Information Sciences - ISCIS 2006
Author: Albert Levi
Publisher: Springer
ISBN: 3540472436
Category : Computers
Languages : en
Pages : 1106
Book Description
This book constitutes the refereed proceedings of the 21st International Symposium on Computer and Information Sciences, ISCIS 2006, held in Istanbul, Turkey in October 2006. The 106 revised full papers presented together with five invited lectures were carefully reviewed and selected from 606 submissions.
Publisher: Springer
ISBN: 3540472436
Category : Computers
Languages : en
Pages : 1106
Book Description
This book constitutes the refereed proceedings of the 21st International Symposium on Computer and Information Sciences, ISCIS 2006, held in Istanbul, Turkey in October 2006. The 106 revised full papers presented together with five invited lectures were carefully reviewed and selected from 606 submissions.
Advances in Mechanism and Machine Science
Author: Tadeusz Uhl
Publisher: Springer
ISBN: 3030201317
Category : Technology & Engineering
Languages : en
Pages : 4203
Book Description
This book gathers the proceedings of the 15th IFToMM World Congress, which was held in Krakow, Poland, from June 30 to July 4, 2019. Having been organized every four years since 1965, the Congress represents the world’s largest scientific event on mechanism and machine science (MMS). The contributions cover an extremely diverse range of topics, including biomechanical engineering, computational kinematics, design methodologies, dynamics of machinery, multibody dynamics, gearing and transmissions, history of MMS, linkage and mechanical controls, robotics and mechatronics, micro-mechanisms, reliability of machines and mechanisms, rotor dynamics, standardization of terminology, sustainable energy systems, transportation machinery, tribology and vibration. Selected by means of a rigorous international peer-review process, they highlight numerous exciting advances and ideas that will spur novel research directions and foster new multidisciplinary collaborations.
Publisher: Springer
ISBN: 3030201317
Category : Technology & Engineering
Languages : en
Pages : 4203
Book Description
This book gathers the proceedings of the 15th IFToMM World Congress, which was held in Krakow, Poland, from June 30 to July 4, 2019. Having been organized every four years since 1965, the Congress represents the world’s largest scientific event on mechanism and machine science (MMS). The contributions cover an extremely diverse range of topics, including biomechanical engineering, computational kinematics, design methodologies, dynamics of machinery, multibody dynamics, gearing and transmissions, history of MMS, linkage and mechanical controls, robotics and mechatronics, micro-mechanisms, reliability of machines and mechanisms, rotor dynamics, standardization of terminology, sustainable energy systems, transportation machinery, tribology and vibration. Selected by means of a rigorous international peer-review process, they highlight numerous exciting advances and ideas that will spur novel research directions and foster new multidisciplinary collaborations.
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
Author: Johan Vounckx
Publisher: Springer Science & Business Media
ISBN: 3540390944
Category : Computers
Languages : en
Pages : 691
Book Description
This book constitutes the refereed proceedings of the 16th International Workshop on Power and Timing Modeling, Optimization and Simulation, PATMOS 2006. The book presents 41 revised full papers and 23 revised poster papers together with 4 key notes and 3 industrial abstracts. Topical sections include high-level design, power estimation and modeling memory and register files, low-power digital circuits, busses and interconnects, low-power techniques, applications and SoC design, modeling, and more.
Publisher: Springer Science & Business Media
ISBN: 3540390944
Category : Computers
Languages : en
Pages : 691
Book Description
This book constitutes the refereed proceedings of the 16th International Workshop on Power and Timing Modeling, Optimization and Simulation, PATMOS 2006. The book presents 41 revised full papers and 23 revised poster papers together with 4 key notes and 3 industrial abstracts. Topical sections include high-level design, power estimation and modeling memory and register files, low-power digital circuits, busses and interconnects, low-power techniques, applications and SoC design, modeling, and more.
Object Oriented Simulation
Author: José M. Garrido
Publisher: Springer
ISBN: 9781441955005
Category : Computers
Languages : en
Pages : 0
Book Description
Object Oriented Simulation will qualify as a valuable resource to students and accomplished professionals and researchers alike, as it provides an extensive, yet comprehensible introduction to the basic principles of object-oriented modeling, design and implementation of simulation models. Key features include an introduction to modern commercial graphical simulation and animation software, accessible breakdown of OOSimL language constructs through various programming principles, and extensive tutorial materials ideal for undergraduate classroom use.
Publisher: Springer
ISBN: 9781441955005
Category : Computers
Languages : en
Pages : 0
Book Description
Object Oriented Simulation will qualify as a valuable resource to students and accomplished professionals and researchers alike, as it provides an extensive, yet comprehensible introduction to the basic principles of object-oriented modeling, design and implementation of simulation models. Key features include an introduction to modern commercial graphical simulation and animation software, accessible breakdown of OOSimL language constructs through various programming principles, and extensive tutorial materials ideal for undergraduate classroom use.
Design Patterns
Author: Erich Gamma
Publisher: Pearson Deutschland GmbH
ISBN: 9783827328243
Category : Business & Economics
Languages : en
Pages : 512
Book Description
Software -- Software Engineering.
Publisher: Pearson Deutschland GmbH
ISBN: 9783827328243
Category : Business & Economics
Languages : en
Pages : 512
Book Description
Software -- Software Engineering.