The Experts below are selected from a list of 67635 Experts worldwide ranked by ideXlab platform
Michel Auguin - One of the best experts on this subject based on the ideXlab platform.
-
using unified power format standard concepts for power aware design and verification of systems onchip at transaction level
Iet Circuits Devices & Systems, 2012Co-Authors: O. Mbarek, Alain Pegatoquet, Michel AuguinAbstract:Building efficient and correct system power-management strategies relies on efficient power Architecture Decision making as well as respecting structural dependencies induced by such Architecture. Transaction level modelling allows a rapid exploration, verification and evaluation of alternative power-management Architectures and strategies. This study introduces an efficient methodology for making system power Decisions at transaction level (TL) by adding and verifying power intent and management capabilities into TL models. A generic framework that abstracts relevant concepts of the IEEE 1801 unified power format standard and implements assertion-based contracts is used throughout the methodology. A TL-model example is considered to validate the methodology.
-
using unified power format standard concepts for power aware design and verification of systems onchip at transaction level
Iet Circuits Devices & Systems, 2012Co-Authors: O. Mbarek, Alain Pegatoquet, Michel AuguinAbstract:Building efficient and correct system power-management strategies relies on efficient power Architecture Decision making as well as respecting structural dependencies induced by such Architecture. Transaction level modelling allows a rapid exploration, verification and evaluation of alternative power-management Architectures and strategies. This study introduces an efficient methodology for making system power Decisions at transaction level (TL) by adding and verifying power intent and management capabilities into TL models. A generic framework that abstracts relevant concepts of the IEEE 1801 unified power format standard and implements assertion-based contracts is used throughout the methodology. A TL-model example is considered to validate the methodology.
-
Using unified power format standard concepts for power-aware design and verification of systems-on-chip at transaction level
IET Circuits Devices & Systems, 2012Co-Authors: O. Mbarek, Alain Pegatoquet, Michel AuguinAbstract:Building efficient and correct system power-management strategies relies on efficient power Architecture Decision making as well as respecting structural dependencies induced by such Architecture. Transaction level modelling allows a rapid exploration, verification and evaluation of alternative power-management Architectures and strategies. This study introduces an efficient methodology for making system power Decisions at transaction level (TL) by adding and verifying power intent and management capabilities into TL models. A generic framework that abstracts relevant concepts of the IEEE 1801 unified power format standard and implements assertion-based contracts is used throughout the methodology. A TL-model example is considered to validate the methodology.
-
A Methodology for power-aware transaction-level models of systems-on-chip using UPF-standard concepts
2011Co-Authors: O. Mbarek, Alain Pegatoquet, Michel AuguinAbstract:Building efficient and correct system power management strategies relies on efficient power Architecture Decision-making as well as respecting structural dependencies induced by such Architecture. Transaction Level Modeling allows a rapid exploration, verification and evaluation of alternative power management Architectures and strategies. This paper introduces an efficient methodology for making system power Decisions at Transaction-Level (TL) by adding and verifying power intent and management capabilities into TL-models. A generic framework that abstracts relevant concepts of the IEEE 1801 (UPF) standard and implements assertion-based contracts is used throughout the methodology. A TL-model example is considered to validate the methodology.
O. Mbarek - One of the best experts on this subject based on the ideXlab platform.
-
using unified power format standard concepts for power aware design and verification of systems onchip at transaction level
Iet Circuits Devices & Systems, 2012Co-Authors: O. Mbarek, Alain Pegatoquet, Michel AuguinAbstract:Building efficient and correct system power-management strategies relies on efficient power Architecture Decision making as well as respecting structural dependencies induced by such Architecture. Transaction level modelling allows a rapid exploration, verification and evaluation of alternative power-management Architectures and strategies. This study introduces an efficient methodology for making system power Decisions at transaction level (TL) by adding and verifying power intent and management capabilities into TL models. A generic framework that abstracts relevant concepts of the IEEE 1801 unified power format standard and implements assertion-based contracts is used throughout the methodology. A TL-model example is considered to validate the methodology.
-
using unified power format standard concepts for power aware design and verification of systems onchip at transaction level
Iet Circuits Devices & Systems, 2012Co-Authors: O. Mbarek, Alain Pegatoquet, Michel AuguinAbstract:Building efficient and correct system power-management strategies relies on efficient power Architecture Decision making as well as respecting structural dependencies induced by such Architecture. Transaction level modelling allows a rapid exploration, verification and evaluation of alternative power-management Architectures and strategies. This study introduces an efficient methodology for making system power Decisions at transaction level (TL) by adding and verifying power intent and management capabilities into TL models. A generic framework that abstracts relevant concepts of the IEEE 1801 unified power format standard and implements assertion-based contracts is used throughout the methodology. A TL-model example is considered to validate the methodology.
-
Using unified power format standard concepts for power-aware design and verification of systems-on-chip at transaction level
IET Circuits Devices & Systems, 2012Co-Authors: O. Mbarek, Alain Pegatoquet, Michel AuguinAbstract:Building efficient and correct system power-management strategies relies on efficient power Architecture Decision making as well as respecting structural dependencies induced by such Architecture. Transaction level modelling allows a rapid exploration, verification and evaluation of alternative power-management Architectures and strategies. This study introduces an efficient methodology for making system power Decisions at transaction level (TL) by adding and verifying power intent and management capabilities into TL models. A generic framework that abstracts relevant concepts of the IEEE 1801 unified power format standard and implements assertion-based contracts is used throughout the methodology. A TL-model example is considered to validate the methodology.
-
A Methodology for power-aware transaction-level models of systems-on-chip using UPF-standard concepts
2011Co-Authors: O. Mbarek, Alain Pegatoquet, Michel AuguinAbstract:Building efficient and correct system power management strategies relies on efficient power Architecture Decision-making as well as respecting structural dependencies induced by such Architecture. Transaction Level Modeling allows a rapid exploration, verification and evaluation of alternative power management Architectures and strategies. This paper introduces an efficient methodology for making system power Decisions at Transaction-Level (TL) by adding and verifying power intent and management capabilities into TL-models. A generic framework that abstracts relevant concepts of the IEEE 1801 (UPF) standard and implements assertion-based contracts is used throughout the methodology. A TL-model example is considered to validate the methodology.
Antony Tang - One of the best experts on this subject based on the ideXlab platform.
-
Empirical research for software Architecture Decision making : an analysis
Journal of Systems and Software, 2019Co-Authors: Maryam Razavian, Barbara Paech, Antony TangAbstract:Abstract Context Despite past empirical research in software Architecture Decision making, we have not yet systematically studied how to perform such empirical research. Software Architecture Decision making involves humans, their behavioral issues and practice. As such, research on Decision making needs to involve not only engineering but also social science research methods. Objective This paper studies empirical research on software Architecture Decision making. We want to understand what research methods have been used to study human Decision making in software Architecture. Further, we want to provide guidance for future studies. Method We analyzed research papers on software Architecture Decision making. We classified the papers according to different sub-dimensions of empirical research design like research logic, research purpose, research methodology and process. We introduce the study focus matrix and the research cycle to capture the focus and the goals of a software Architecture Decision making study. We identify gaps in current software Architecture Decision making research according to the classification and discuss open research issues inspired by social science research. Conclusion We show the variety of research designs and identify gaps with respect to focus and goals. Few papers study Decision making behavior in software Architecture design. Also these researchers study mostly the process and much less the outcome and the factors influencing Decision making. Furthermore, there is a lack of improvements for software Architecture Decision making and in particular insights into behavior have not led to new practices. The study focus matrix and the research cycle are two new instruments for researchers to position their research clearly. This paper provides a retrospective for the community and an entry point for new researchers to design empirical studies that embrace the human role in software Architecture Decision making.
-
human aspects in software Architecture Decision making a literature review
2017 IEEE International Conference on Software Architecture (ICSA), 2017Co-Authors: Antony Tang, Maryam Razavian, Barbara Paech, Tommichael HesseAbstract:Despite past efforts, we have little understanding and limited research efforts on how architects make Decisions in the real-world settings. It seems that software Architecture researchers make implicit assumption that Decision making by software architects can be a rational and prescribed process. Such an assumption is disputed in other fields such as economics and Decision research. This paper studies the current state of software Architecture Decision making research in terms of human behaviors and practice. We carried out a literature review on software Architecture Decision making. We classified papers into Decision making behavior and Decision making practice and identified the research relationships between them. We found that Decision making is a mental activity. Research into the behavioral aspects of software Architecture Decision making for incorporation into architectural design practices is required. We suggest three research topics on human aspects to improve software Architecture practices.
-
ICSA - Human Aspects in Software Architecture Decision Making: A Literature Review
2017 IEEE International Conference on Software Architecture (ICSA), 2017Co-Authors: Antony Tang, Maryam Razavian, Barbara Paech, Tommichael HesseAbstract:Despite past efforts, we have little understanding and limited research efforts on how architects make Decisions in the real-world settings. It seems that software Architecture researchers make implicit assumption that Decision making by software architects can be a rational and prescribed process. Such an assumption is disputed in other fields such as economics and Decision research. This paper studies the current state of software Architecture Decision making research in terms of human behaviors and practice. We carried out a literature review on software Architecture Decision making. We classified papers into Decision making behavior and Decision making practice and identified the research relationships between them. We found that Decision making is a mental activity. Research into the behavioral aspects of software Architecture Decision making for incorporation into architectural design practices is required. We suggest three research topics on human aspects to improve software Architecture practices.
Saheed A. Busari - One of the best experts on this subject based on the ideXlab platform.
-
Modelling and Analysing Software Requirements and Architecture Decisions under Uncertainty
2019Co-Authors: Saheed A. BusariAbstract:Early requirements engineering and software architectural Decisions are critical to the success of software development projects. However, such Decisions are confronted with complexities resulting from uncertainty about the possible impacts of Decision choices on objectives; conflicting stakeholder objectives; and a huge space of alternative designs. Quantitative Decision modelling is a promising approach to tackling the increasing complexity of requirements and architectural Decisions. It allows one to use quantitative techniques, such as stochastic simulation and multi-objective optimisation, to model and analyse the impact of alternative Decisions on stakeholders' objectives. Existing requirements and Architecture methods that use quantitative Decision models are limited by the difficulty of elaborating quantitative Decision models and/or lack of integrated tool support for automated Decision analysis under uncertainty. This thesis addresses these problems by presenting a novel modelling language and automated Decision analysis technique, implemented in a tool called RADAR, intended to facilitate requirements and Architecture Decisions under uncertainty. RADAR's modelling language has relations to quantitative AND/OR goal models used in requirements engineering and feature models used in software product lines. The language enables modelling requirements and architectural Decision problems characterised by (i) single option selection similar to mutually exclusive option selection (XOR-nodes) of feature diagrams; (ii) multiple options selection similar to non-mutually exclusive options selections (OR-nodes) of feature diagrams; and (iii) constraints dependency relationships, e.g., excludes, requires and coupling, between options of Decisions. RADAR's analysis technique uses multi-objective simulation optimisation technique in evaluating and shortlisting alternatives that produces the best trade-off between stakeholders' objectives. Additionally, the analysis technique employs information value analysis to estimate the financial value of reducing uncertainty before making a Decision. We evaluate RADAR's applicability, usefulness and scalability on a set of real-world systems from different application domains and characterised by design space size between 6 and 2E50. Our evaluation results show that RADAR's modelling language and analysis technique is applicable on a range of real-world requirements and Architecture Decision problems, and that in few seconds, RADAR can analyse Decision problems characterised by large design space using highly performant optimisation method through the use of evolutionary search-based optimisation algorithms.
-
RADAR: A Lightweight Tool for Requirements and Architecture Decision Analysis
2017 IEEE ACM 39th International Conference on Software Engineering (ICSE), 2017Co-Authors: Saheed A. Busari, Emmanuel LetierAbstract:Uncertainty and conflicting stakeholders' objectives make many requirements and Architecture Decisions particularly hard. Quantitative probabilistic models allow software architects to analyse such Decisions using stochastic simulation and multi-objective optimisation, but the difficulty of elaborating the models is an obstacle to the wider adoption of such techniques. To reduce this obstacle, this paper presents a novel modelling language and analysis tool, called RADAR, intended to facilitate requirements and Architecture Decision analysis. The language has relations to quantitative AND/OR goal models used in requirements engineering and to feature models used in software product lines. However, it simplifies such models to a minimum set of language constructs essential for Decision analysis. The paper presents RADAR's modelling language, automated support for Decision analysis, and evaluates its application to four real-world examples.
-
ICSE - RADAR: a lightweight tool for requirements and Architecture Decision analysis
2017 IEEE ACM 39th International Conference on Software Engineering (ICSE), 2017Co-Authors: Saheed A. Busari, Emmanuel LetierAbstract:Uncertainty and conflicting stakeholders' objectives make many requirements and Architecture Decisions particularly hard. Quantitative probabilistic models allow software architects to analyse such Decisions using stochastic simulation and multi-objective optimisation, but the difficulty of elaborating the models is an obstacle to the wider adoption of such techniques. To reduce this obstacle, this paper presents a novel modelling language and analysis tool, called RADAR, intended to facilitate requirements and Architecture Decision analysis. The language has relations to quantitative AND/OR goal models used in requirements engineering and to feature models used in software product lines. However, it simplifies such models to a minimum set of language constructs essential for Decision analysis. The paper presents RADAR's modelling language, automated support for Decision analysis, and evaluates its application to four real-world examples.
-
ASE - Towards search-based modelling and analysis of requirements and Architecture Decisions
2017 32nd IEEE ACM International Conference on Automated Software Engineering (ASE), 2017Co-Authors: Saheed A. BusariAbstract:Many requirements engineering and software Architecture Decisions are complicated by uncertainty and multiple conflicting stakeholders' objectives. Using quantitative Decision models helps clarify these Decisions and allows the use of multi-objective simulation optimisation techniques in analysing the impact of Decisions on objectives. Existing requirements and Architecture Decision support methods that use quantitative Decision models are limited by the difficulty in elaborating problem-specific Decision models and/or lack integrated tool support for automated Decision analysis under uncertainty. To address these problems and facilitate requirements and Architecture Decision analysis, this research proposes a novel modelling language and automated Decision analysis technique, implemented in a tool called RADAR. The modelling language is a simplified version of quantitative AND/OR goal models used in requirements engineering and similar to feature models used in software product lines. This research involves developing the RADAR tool and evaluating the tool's applicability, usefulness and scalability on a set of real-world examples.
Alain Pegatoquet - One of the best experts on this subject based on the ideXlab platform.
-
using unified power format standard concepts for power aware design and verification of systems onchip at transaction level
Iet Circuits Devices & Systems, 2012Co-Authors: O. Mbarek, Alain Pegatoquet, Michel AuguinAbstract:Building efficient and correct system power-management strategies relies on efficient power Architecture Decision making as well as respecting structural dependencies induced by such Architecture. Transaction level modelling allows a rapid exploration, verification and evaluation of alternative power-management Architectures and strategies. This study introduces an efficient methodology for making system power Decisions at transaction level (TL) by adding and verifying power intent and management capabilities into TL models. A generic framework that abstracts relevant concepts of the IEEE 1801 unified power format standard and implements assertion-based contracts is used throughout the methodology. A TL-model example is considered to validate the methodology.
-
using unified power format standard concepts for power aware design and verification of systems onchip at transaction level
Iet Circuits Devices & Systems, 2012Co-Authors: O. Mbarek, Alain Pegatoquet, Michel AuguinAbstract:Building efficient and correct system power-management strategies relies on efficient power Architecture Decision making as well as respecting structural dependencies induced by such Architecture. Transaction level modelling allows a rapid exploration, verification and evaluation of alternative power-management Architectures and strategies. This study introduces an efficient methodology for making system power Decisions at transaction level (TL) by adding and verifying power intent and management capabilities into TL models. A generic framework that abstracts relevant concepts of the IEEE 1801 unified power format standard and implements assertion-based contracts is used throughout the methodology. A TL-model example is considered to validate the methodology.
-
Using unified power format standard concepts for power-aware design and verification of systems-on-chip at transaction level
IET Circuits Devices & Systems, 2012Co-Authors: O. Mbarek, Alain Pegatoquet, Michel AuguinAbstract:Building efficient and correct system power-management strategies relies on efficient power Architecture Decision making as well as respecting structural dependencies induced by such Architecture. Transaction level modelling allows a rapid exploration, verification and evaluation of alternative power-management Architectures and strategies. This study introduces an efficient methodology for making system power Decisions at transaction level (TL) by adding and verifying power intent and management capabilities into TL models. A generic framework that abstracts relevant concepts of the IEEE 1801 unified power format standard and implements assertion-based contracts is used throughout the methodology. A TL-model example is considered to validate the methodology.
-
A Methodology for power-aware transaction-level models of systems-on-chip using UPF-standard concepts
2011Co-Authors: O. Mbarek, Alain Pegatoquet, Michel AuguinAbstract:Building efficient and correct system power management strategies relies on efficient power Architecture Decision-making as well as respecting structural dependencies induced by such Architecture. Transaction Level Modeling allows a rapid exploration, verification and evaluation of alternative power management Architectures and strategies. This paper introduces an efficient methodology for making system power Decisions at Transaction-Level (TL) by adding and verifying power intent and management capabilities into TL-models. A generic framework that abstracts relevant concepts of the IEEE 1801 (UPF) standard and implements assertion-based contracts is used throughout the methodology. A TL-model example is considered to validate the methodology.