Profiling and framing structures for pervasive information systems development

Pervasive computing is a research field of computing technology that aims to achieve a new computing paradigm. Software engineering has been, since its existence, subject of research and improvement in several areas of interest. Model-Based/Driven Development (MDD) constitutes an approach to software design and development that potentially contributes to: concepts closer to domain and reduction of semantic gaps; automation and less sensitivity to technological changes; capture of expert knowledge and reuse. This paper presents a profiling and framing structure approach for the development of Pervasive Information Systems (PIS). This profiling and framing structure allows the organization of the functionality that can be assigned to computational devices in a system and of the corresponding development structures and models, being. The proposed approach enables a structural approach to PIS development. The paper also presents a case study that allowed demonstrating the applicability of the approach.Fundação para a Ciência e a Tecnologia (FCT

Numerical and Experimental Study of Cross-Sectional Effects on the Mixing Performance of the Spiral Microfluidics.

Mixing at the microscale is of great importance for various applications ranging from biological and chemical synthesis to drug delivery. Among the numerous types of micromixers that have been developed, planar passive spiral micromixers have gained considerable interest due to their ease of fabrication and integration into complex miniaturized systems. However, less attention has been paid to non-planar spiral micromixers with various cross-sections and the effects of these cross-sections on the total performance of the micromixer. Here, mixing performance in a spiral micromixer with different channel cross-sections is evaluated experimentally and numerically in the Re range of 0.001 to 50. The accuracy of the 3D-finite element model was first verified at different flow rates by tracking the mixing index across the loops, which were directly proportional to the spiral radius and were hence also proportional to the Dean flow. It is shown that higher flow rates induce stronger vortices compared to lower flow rates; thus, fewer loops are required for efficient mixing. The numerical study revealed that a large-angle outward trapezoidal cross-section provides the highest mixing performance, reaching efficiencies of up to 95%. Moreover, the velocity/vorticity along the channel length was analyzed and discussed to evaluate channel mixing performance. A relatively low pressure drop (<130 kPa) makes these passive spiral micromixers ideal candidates for various lab-on-chip applications

Requirements Engineering

Requirements Engineering (RE) aims to ensure that systems meet the needs of their stakeholders including users, sponsors, and customers. Often consid- ered as one of the earliest activities in software engineering, it has developed into a set of activities that touch almost every step of the software development process. In this chapter, we reflect on how the need for RE was first recognised and how its foundational concepts were developed. We present the seminal papers on four main activities of the RE process, namely (i) elicitation, (ii) modelling & analysis, (iii) as- surance, and (iv) management & evolution. We also discuss some current research challenges in the area, including security requirements engineering as well as RE for mobile and ubiquitous computing. Finally, we identify some open challenges and research gaps that require further exploration