Coalgebraic models, Prototyping, and Higher-order programming
Construction and observation are two basic notions in Computer Science corresponding to precise dual mathematical concepts: those of algebra and coalgebra. This paper introduces a simple coalgebraic model for concurrent processes and discusses its animation in the declarative language Charity. It is argued that the ability to reason in an uniform way about data and behaviour, provides an unifying approach to functional prototyping of software speci cations.
Meruje, Manuel, Samaila, Musa Gwani, Franqueira, Virginia, Freire, Mario, and Inácio, Pedro R. M.
Internet of Things, Design, Prototyping, IoT hardware development platforms, Arduino, and Raspberry Pi
The dramatic drop in the price of computing hardware, coupled with the recent breakthroughs in embedded systems design that enabled the integration of high-level software and low-level electronics, have created a paradigm shift in embedded systems development. This has led to the development of different varieties of user-friendly Internet of Things (IoT) hardware development platforms for IoT prototyping. The ubiquity of such prototyping platforms has undoubtedly contributed towards the explosive growth of the IoT, which is already seeping into all areas of human endeavor, including transportation, logistics, business, and healthcare. Building IoT projects that can be controlled over the Internet can be challenging, especially for beginners. This chapter discusses the design and development of prototypes for IoT applications with focus on Arduino and Raspberry Pi platforms. The aim is to provide insightful information on best practices for designing and prototyping IoT projects, as well as to serve as step-by-step guidelines for beginners.
Brancalião, Laiany Suganuma, Gonçalves, José, Lima, José, and Duarte, Luís
Prototyping, Low-cost stroboscope, and Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
In the industry is very common the applying of resources and machines for implementation of the processes and creation of the products. For this reason, the measurement and control of such processes are essential to achieve better performance, efficiency, and consequently best quality, as well as, monitor the operation of the equipment, identify failures and ensure the security for the industry and the employees. The measure instruments are the set of tools used with the objective of obtaining data about the particular processes. In general, these devices measure features like pressure, temperature, velocity, humidity, vibration, and are widely applied in machines such as motors, heaters, reactors, refrigerators, air conditioners, compressors, ovens, and other equipment. It’s important to obtain the periodic calibration of these instruments so that the results obtained through them be reliable and accurate .
Over the last decade, software architecture emerged as a critical issue in Software Engineering. This encompassed a shift from traditional programming towards software development based on the deployment and assembly of independent components. The specification of both the overall systems structure and the interaction patterns between their components became a major concern for the working developer. Although a number of formalisms to express behaviour and to supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from CCS behavioural specifications the corresponding architectural skeletons in the Microsoft .Net framework, in the form of executable C and Cω code. The prototyping process is fully supported by a specific tool developed in Haskell
Prototyping current system, Software architecture, and Software Engineering
Software architecture is currently recognized as one of the most critical design steps in Software Engineering. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Cw, the corresponding architectural skeletons in the Microsoft .NET framework in the form of executable code