Supporting the Model-Driven Development of Real-time Embedded Systems with Run-Time Monitoring and Animation via Highly Customizable Code Generation

This paper presents a vision that allows the combined use of model-driven engineering, run-time monitoring, and animation for the development and analysis of components in real-time embedded systems. Key building block in the tool environment supporting this vision is a highly-customizable code generation process. Customization is performed via a configuration specification which describes the ways in which input is provided to the component, the ways in which run-time execution information can be observed, and how these observations drive animation tools. The environment is envisioned to be suitable for different activities ranging from quality assurance to supporting certification, teaching, and outreach and will be built exclusively with open source tools to increase impact. A preliminary prototype implementation is described.

The Family Model - A transgenerational approach to mental health in families: personal, clinical, educational, research, systems and policy perspectives

The Family Model – A transgenerational approach to mental health in families This workshop will provide an overview on The Family Model (TFM) and its use in promoting and facilitating a trans­generational family focus in Mental Health services, over the past 10­ - 15 years. Each of the speakers will address a different perspective, including service user/consumer, clinical practice, education & training, research and policy. Adrian Falkov (chair) will provide an overview of TFM to set the scene and a ‘policy to practice’ perspective, based on use of TFM in Australia. Author: Heide Lloyd. The Family Model ­ A personal (consumer/patient) perspective | United Kingdom Heide will provide a description of her experiences as a child, adult, parent & grandparent, using TFM as the structure around which to ‘weave’ her story and demonstrate how TFM has assisted her in understanding the impact of symptoms on her & family and how she has used it in her management of symptoms and recovery (personal perspective). The Family Model ­ Education & training perspective ­ Marie Diggins | United Kingdom PhD Bente Weimand | Norway Authors: ­ Marie Diggins | United Kingdom PhD Bente Weimand | Norway This combined (UK & Norwegian) presentation will cover historical background to TFM and its use in eLearning (the Social Care Institute for Excellence)and a number of other UK initiatives, together with a description of the postgraduate masters course at the University Oslo/Akershus, using TFM. The Family Model ­ A research perspective PhD Anne Grant | Northern Ireland Author: PhD Anne Grant | Ireland Anne Grant will describe how she used TFM as the theoretical framework for her PhD looking at family focused (nursing) practice in Ireland. The Family Model ­ A service systems perspective ­ Mary Donaghy | Northern Ireland Authors: PhD Adrian Falkov | Australia ­ Mary Donaghy | N Ireland Mary Donaghy will discuss how TFM has been used to support & facilitate a cross service ‘whole of system’ change program in Belfast (NI) to achieve improved family focused practice. She will demonstrate its utility in achieving a broader approach to service design, delivery and evaluation.

Model based integration of management systems (MSs) – case study

Abstract Purpose – The purpose of this paper is to present a case study regarding the deployment of a previously developed model for the integration of management systems (MSs). The case study is developed at a manufacturing site of an international enterprise. The implementation of this model in a real business environment is aimed at assessing its feasibility. Design/methodology/approach – The presented case study takes into account different management systems standards (MSSs) progressively implemented, along the years, independently. The implementation of the model was supported by the results obtained from an investigation performed according to a structured diagnosis that was conducted to collect information related to the organizational situation of the enterprise. Findings – The main findings are as follows: a robust integrated management system (IMS), objectively more lean, structured and manageable was found to be feasible; this study provided an holistic view of the enterprise’s global management; clarifications of job descriptions and boundaries of action and responsibilities were achieved; greater efficiency in the use of resources was attained; more coordinated management of the three pillars of sustainability – environmental, economic and social, as well as risks, providing confidence and added value to the company and interested parties was achieved. Originality/value – This case study is pioneering in Portugal in respect to the implementation, at the level of an industrial organization, of the model previously developed for the integration of individualized MSs. The case study provides new insights regarding the implementation of IMSs including the rationalization of several resources and elimination of several types of organizational waste leveraging gains of efficiency. Due to its intrinsic characteristics, the model is able to support, progressively, new or revised MSSs according to the principles of annex SL (normative) – proposals for MSSs – of the International Organization for Standardization and the International Electrotechnical Commission, that the industrial organization can adopt beyond the current ones.

Fault tolerance logging-based model for deterministic systems

Fault tolerance allows a system to remain operational to some degree when some of its components fail. One of the most common fault tolerance mechanisms consists on logging the system state periodically, and recovering the system to a consistent state in the event of a failure. This paper describes a general fault tolerance logging-based mechanism, which can be layered over deterministic systems. Our proposal describes how a logging mechanism can recover the underlying system to a consistent state, even if an action or set of actions were interrupted mid-way, due to a server crash. We also propose different methods of storing the logging information, and describe how to deploy a fault tolerant master-slave cluster for information replication. We adapt our model to a previously proposed framework, which provided common relational features, like transactions with atomic, consistent, isolated and durable properties, to NoSQL database management systems.

Inverted decoupling internal model control for square stable multivariable time delay systems

This paper presents a new tuning methodology of the main controller of an internal model control structure for n×n stable multivariable processes with multiple time delays based on the centralized inverted decoupling structure. Independently of the system size, very simple general expressions for the controller elements are obtained. The realizability conditions are provided and the specification of the closed-loop requirements is explained. A diagonal filter is added to the proposed control structure in order to improve the disturbance rejection without modifying the nominal set-point response. The effectiveness of the method is illustrated through different simulation examples in comparison with other works.

Infomobility for “Car-Driver” Systems: Reference Model and Case Study

Part 21: Mobility and Logistics

Use of posterior predictive assessments to evaluate model fit in multilevel logistic regression

Assessing the fit of a model is an important final step in any statistical analysis, but this is not straightforward when complex discrete response models are used. Cross validation and posterior predictions have been suggested as methods to aid model criticism. In this paper a comparison is made between four methods of model predictive assessment in the context of a three level logistic regression model for clinical mastitis in dairy cattle; cross validation, a prediction using the full posterior predictive distribution and two “mixed” predictive methods that incorporate higher level random effects simulated from the underlying model distribution. Cross validation is considered a gold standard method but is computationally intensive and thus a comparison is made between posterior predictive assessments and cross validation. The analyses revealed that mixed prediction methods produced results close to cross validation whilst the full posterior predictive assessment gave predictions that were over-optimistic (closer to the observed disease rates) compared with cross validation. A mixed prediction method that simulated random effects from both higher levels was best at identifying the outlying level two (farm-year) units of interest. It is concluded that this mixed prediction method, simulating random effects from both higher levels, is straightforward and may be of value in model criticism of multilevel logistic regression, a technique commonly used for animal health data with a hierarchical structure.

Collaborative Networked Organizations as System of Systems: A Model-Based Engineering Approach

Part 6: Engineering and Implementation of Collaborative Networks

IMPROVEMENTS IN SUSTAINABILITY OF GRAVITY-FED WATER SYSTEMS IN THE COMARCA NGÄBE-BUGLÉ, PANAMA: SPRING CAPTURES AND CIRCUIT RIDER MODEL

Gravity-flow aqueducts are used to bring clean water from mountain springs in the Comarca Ngäbe-Buglé, Panama, to the homes of the indigenous people who reside there. Spring captures enclose a spring to direct the flow of water into the transmission line. Seepage contact springs are most common, with water appearing above either hard basalt bedrock or a dense clay layer. Spring flows vary dramatically during wet and dry seasons, and discharge points of springs can shift, sometimes enough to impact the capture structure and its ability to properly collect all of the available water. Traditionally, spring captures are concrete boxes. The spring boxes observed by the author were dilapidated or out of alignment with the spring itself, only capturing part of the discharge. An improved design approach was developed that mimics the terrain surrounding the spring source to address these issues. Over the course of a year, three different spring sites were evaluated, and spring captures were designed and constructed based on the new approach. Spring flow data from each case study demonstrate increased flow capture in the improved structures. Rural water systems, including spring captures, can be sustainably maintained by the Circuit Rider model, a technical support system in which technical assistance is provided for the operation of the water systems. During 2012-2013, the author worked as a Circuit Rider and facilitated a water system improvement project while exploring methods of community empowerment to increase the capacity for system maintenance. Based on these experiences, recommendations are provided to expand the Circuit Rider model in the Comarca Ngäbe-Buglé under the Panamanian Ministry of Health’s Water and Sanitation Project (PASAP)

Applicability of an assessment model for healthcare information systems in a public hospital

Assessment processes are essential to guarantee quality and continuous improvement of software in healthcare, as they measure software attributes in their lifecycle, verify the degree of alignment between the software and its objectives and identify unpredicted events. This article analyses the use of an assessment model based on software metrics for three healthcare information systems from a public hospital that provides secondary and tertiary care in the region of Ribeirão Preto. Compliance with the metrics was investigated using questionnaires in guided interviews of the system analysts responsible for the applications. The outcomes indicate that most of the procedures specified in the model can be adopted to assess the systems that serves the organization, particularly in the attributes of compatibility, reliability, safety, portability and usability.

Entrepreneurship in project management systems: proposal of a model and preliminary empirical evidence

This study analyzes the manifestation of the dimensions of Entrepreneurial Orientation (EO) and Project Management Systems (PMS). We used a qualitative approach to conduct exploratory research through a study in literature and a pilot case in a software company. Data was collected from semi structured interviews, documents, and records on file, then triangulated and treated with content analysis. The model proposed for the relationship between the types of PMS (ad hoc, Classic PM, innovation, entrepreneurship/intrapreneurship) and the dimensions of EO (innovativeness, risk-taking, proactiveness, competitive aggressiveness, and autonomy), was partially corroborated by empirical studies. New studies are suggested to validate the applicability and setup of the model.

Personalization of Electronic Nicotine Delivery Systems Toxicological impact in in-vivo model

Electronic nicotine delivery systems (ENDS) use has recently grown. E-cig generates carcinogenic chemical compounds and reactive oxygen species (ROS). Carbonyls and ROS are formed when the liquid comes into contact with the heating element. In this study the chemical and biological effects of coil resistance applied on the same device were investigated. A preliminary in-vivo study the new heat-not-burn devices (IQOS®) has been conducted to evaluate the effect of the device on antioxidant biomarkers. The amount of formaldehyde, acetaldehyde, acrolein was measured by GC-MS analysis. The two e-liquids used for carbonyls detection differed only for the presence of nicotine. The nicotine-free liquid was then used for the detection of ROS in the aerosol. The impact of the non-nicotine vapor on cell viability in H1299 human lung carcinoma cells, as well as the biological effects in a rat model of e-cig aerosol exposure, were also evaluated. After the exposure of Sprague Dawley rats to e-cig and IQOS® aerosol, the effect of 28-day treatment was examined on enzymatic and non-enzymatic antioxidant response, lung inflammation, blood homeostasis and tissue damage by using scanning electron microscope (SEM) technique. The results show a significant correlation between the low resistance and the generation of higher concentrations of the selected carbonyls and ROS in aerosols. Cell viability was reduced with an inverse relation to coil resistance. The experimental model highlighted an impairment of the pulmonary antioxidant and detoxifying machinery. Frames from SEM show disorganization of alveolar and bronchial epithelium. IQOS® exposed animals shows a significant production of ROS related to the unbalance of antioxidant defense and alteration of macromolecule integrity. This research demonstrates how several toxicological aspects can potentially occur in e-cig consumers who use low resistance device coupled with nicotine-free liquid. ENDS may expose users to hazardous compounds, which, may promote chronic pathologies and degenerative diseases.

Electronic And Structural Study Of Pt-modified Au Vicinal Surfaces: A Model System For Pt-au Catalysts.

Two single crystalline surfaces of Au vicinal to the (111) plane were modified with Pt and studied using scanning tunneling microscopy (STM) and X-ray photoemission spectroscopy (XPS) in ultra-high vacuum environment. The vicinal surfaces studied are Au(332) and Au(887) and different Pt coverage (θPt) were deposited on each surface. From STM images we determine that Pt deposits on both surfaces as nanoislands with heights ranging from 1 ML to 3 ML depending on θPt. On both surfaces the early growth of Pt ad-islands occurs at the lower part of the step edge, with Pt ad-atoms being incorporated into the steps in some cases. XPS results indicate that partial alloying of Pt occurs at the interface at room temperature and at all coverage, as suggested by the negative chemical shift of Pt 4f core line, indicating an upward shift of the d-band center of the alloyed Pt. Also, the existence of a segregated Pt phase especially at higher coverage is detected by XPS. Sample annealing indicates that the temperature rise promotes a further incorporation of Pt atoms into the Au substrate as supported by STM and XPS results. Additionally, the catalytic activity of different PtAu systems reported in the literature for some electrochemical reactions is discussed considering our findings.