The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Contextual-variability modeling is integral to dealing with dynamically adaptable software. Several techniques support this task using dynamic-software-product-line engineering, which enables runtime management of software variants. In particular, context-aware feature modeling (CFM) has been considered suitable for dealing with contextual variability. However, it has limited expressiveness to specify...
In embedded system development, a crucial task is to reduce the maximum power consumption owing to power source limitations while maximizing the quality of service. The tradeoff between power consumption and quality of service needs to be resolved. If software can change its power consumption in accordance with the power consumption of hardware, it can reduce the maximum power consumption while increasing...
As Cyber-Physical Systems (CPS) operate in open, dynamic and diverse environments, they need to be self-adaptive to address the uncertainty challenges. And it is urgent to study self-adaptive software intensive Cyber-Physical Systems (self-adaptive CPS). As self-adaptive CPS interact closely with the environments and users, their requirements analysis is particularly challenging. General requirement...
REConvertor is a tool that supports thetransformation from software requirements specified bytextual use cases to the high-level message sequencechart (HMSC) model. It is able to handle textual usecases involving various sentence styles, resulting in thecorresponding HMSC model that can visually depictthe information of software requirements. Moreover,REConvertor is capable of detecting a certain...
The idea of this paper is to show the power of modelling activities to analyze multidisciplinary phenomena and to bridge the gap between secondary and university mathematics. For that, we are using a methodology emerged from the anthropological theory of the didactic whose result is the design of a teaching device called study and research path. This device uses exhaustively the ICT like a facilitator...
Among the modern requirements for complex object control simulators is to provide the properties of adaptability, flexibility, extensibility, reliability, security and reconfigurability. The use of semantic description as one of the ways to solve the problem of increasing adaptability and efficiency (productivity, reliability, security, reconfigurability) in the development of simulators with human-machine...
Auto-completion of textual inputs benefits software developers using IDEs. However, graphical modeling tools used to design software do not yet provide such functionality. The challenges of recommending auto-completions for graphical modeling activities are largely unexplored. Recommending such auto-completions requires detecting meaningful partly completed activities, tolerating variance in user...
In this paper, we present a tutorial on modeling and visualizing software architectures in form of architectural runtime models to support quality-aware DevOps in cloud applications. The tutorial is held in context of the 2017 14th IEEE International Conference on Software Architecture to share our findings and experiences with conference participants and give them the opportunity to expand their...
Component-based software platforms likeOSGi facilitate the development of complex software. As software systems become more complicated, tool supportis often a necessity for assuring the conformance betweendesigned and implemented architectures. We present ARTOS, an architecture toolkit to facilitate the design and conformanceanalysis of the software running on the OSGi platform. Thetoolkit consists...
The availability of open source software projects has created an enormous opportunity for software engineering research. However, this availability requires that researchers judiciously select an appropriate set of evaluation targets and properly document this rationale. After all, the choice of targets may have a significant effect on evaluation.We developed a tool called RepoGrams to support researchers...
Quality-of-Service attributes such as performance and reliability heavily depend on the run-time conditions under which software is executed (e.g., workload fluctuation and resources availability). Therefore, it is important to design systems able to adapt their setting and behavior due to these run-time variabilities. In this paper we propose a novel approach based on queuing networks as the quantitative...
Cyber-physical systems (CPSs) mix software, hardware, and physical aspects with equal importance. Typically, the use of models of such systems during run time has concentrated only on managing and controlling the cyber (software) aspects. However, to fully realize the goals of a CPS, physical models too have to be treated as first-class models. This approach gives rise to three main challenges: (a)...
Simulation models are expensive to design and run. Commercial modeling software made for specific industries are costly and do not allow for compatibility across languages. Free and open source languages allow for more control in model creation. However, models written using these languages require more time to develop and interpret. We present a platform compatible with open source languages that...
The problem of automatically fall detection of older people living alone is a popular research topic since falls are one of the major health hazards among the aging population aged 65 and above and the population of them in China is more than 100 million. In this paper, we present an automatic human fall detection framework based on video surveillance which can improve safety of elders in indoor environments...
Adaptive software is a class of software which is able to dynamically modify at runtime its own internal structure and hence its behavior in response to changes in its operating environment. Adaptive software development has been an emerging research area of software engineering in the last decade. Many existing approaches use techniques issued from software product lines (SPLs) to develop adaptive...
Software development processes have known important evolutions such as the appearance of the agile methods. They become now the centre of interest of all development teams. Furthermore, BPM is an approach for modelling and automating business processes, favouring their continuous improvement. This paper proposes a new approach for conducting agile software development projects, based on BPM in order...
With the Advent of the future network-centric simulations application model, more and more simulation models need to share and reuse. On the basis of the characteristics of heterogeneous simulation resources, this paper designed one description specification for simulation resources from three aspects of functional attributes, application attributes and configuration attributes. In addition, this...
The Traditional Malay Houses (TMH) in Malaysia are considered as vernacular architecture, built and designed by the locals with thoughtful considerations and appreciation for nature. There are various beneficial features in technical and environmental contexts of a TMH that should be investigated further and applied in the present-day built environment. Due to its modularity and ingenious construction...
In software development we are faced with the problem to comprehend and take over source code from other developers. The key challenge is to understand the underlying specification implemented by the software system. Regaining this understanding is more difficult when the source code is the only reliable source of information, documentation is outdated or only present in fragments, and original developers...
With the increase of the complexity and scale of the requirements of model transformations and the diversity of the transformation technologies, it is necessary to apply model-driven architecture to develop model transformations since they are software. This paper presents a model-driven approach for model transformations. In the paper, we analyze the characteristics of model transformations, explore...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.