Formal development of resilient distributed systems

Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.

Survival competencies in SMEs in changing business environments

The thesis examines the competencies that enable business survival in changing business environments from the perspective of Russian and Finnish micro, small, and medium-sized enterprises in the field of forest industry. Additionally, it studies the competence transformation necessary in SMEs for successful continuation of business operations when a firm considers transferring its business to another industry. The dissertation builds a holistic firm-level view of survival competencies for SMEs facing changes in their business environments. The holistic firm-level view of competencies includes both the individual-level and the firm-level perspectives, regardless of the position of the person in a firm. The findings highlight the importance of high-level individual competencies and the ability to perform versatile tasks in a firm. In addition, continuous business environment scanning, self-evaluation of personal competencies, willingness to renew and change, open-mindedness, and a readiness to network, are competencies that belong to and need to be taken care of by everybody – employees and employers - in a firm. In addition to previous competencies, an ability to manage every-day business also needs to be embedded in SME owners/managers. Furthermore, Russian SMEs seem to be more proactive in change situations, when compared with Finnish SMEs, which are used to operate in a more stable business environment. In conclusion, it can be said that the thesis adds to SME literature by introducing the concept of ‘SME-level competencies’, a combination of previously discussed organisational and networking competencies which are needed in order to survive through change. Furthermore, the thesis concludes with new competence classifications, such as operational and change competencies, which offer new information concerning the required competencies by which a firm may reduce the resistance to change that can hinder business renewal. For SME practitioners, the study suggests proper preparation and proactive operations in their business to reduce the influence of endless changes, and reminds SME owners/managers that changes are, however, a significant source of new business opportunities. For educational players, the study suggests upgrading educational and training systems by improving the training as regards attitudes towards work, and especially training in the comprehensive working abilities needed in SMEs to master diverse tasks. Finally, for public actors the study suggests providing stronger support to entrepreneurs by boosting SMEs entrepreneurial conditions and the existing business possibilities in change situations. This can be done by encouraging a legislative and entrepreneurial climate that responds better to the demands of SMEs.

A software engineering approach to distributed systems for composite modeling

The goal of this thesis is to define and validate a software engineering approach for the development of a distributed system for the modeling of composite materials, based on the analysis of various existing software development methods. We reviewed the main features of: (1) software engineering methodologies; (2) distributed system characteristics and their effect on software development; (3) composite materials modeling activities and the requirements for the software development. Using the design science as a research methodology, the distributed system for creating models of composite materials is created and evaluated. Empirical experiments which we conducted showed good convergence of modeled and real processes. During the study, we paid attention to the matter of complexity and importance of distributed system and a deep understanding of modern software engineering methods and tools.

Distributed energy resources in an electricity retailer’s short-term profit optimization

Liberalization of electricity markets has resulted in a competed Nordic electricity market, in which electricity retailers play a key role as electricity suppliers, market intermediaries, and service providers. Although these roles may remain unchanged in the near future, the retailers’ operation may change fundamentally as a result of the emerging smart grid environment. Especially the increasing amount of distributed energy resources (DER), and improving opportunities for their control, are reshaping the operating environment of the retailers. This requires that the retailers’ operation models are developed to match the operating environment, in which the active use of DER plays a major role. Electricity retailers have a clientele, and they operate actively in the electricity markets, which makes them a natural market party to offer new services for end-users aiming at an efficient and market-based use of DER. From the retailer’s point of view, the active use of DER can provide means to adapt the operation to meet the challenges posed by the smart grid environment, and to pursue the ultimate objective of the retailer, which is to maximize the profit of operation. This doctoral dissertation introduces a methodology for the comprehensive use of DER in an electricity retailer’s short-term profit optimization that covers operation in a variety of marketplaces including day-ahead, intra-day, and reserve markets. The analysis results provide data of the key profit-making opportunities and the risks associated with different types of DER use. Therefore, the methodology may serve as an efficient tool for an experienced operator in the planning of the optimal market-based DER use. The key contributions of this doctoral dissertation lie in the analysis and development of the model that allows the retailer to benefit from profit-making opportunities brought by the use of DER in different marketplaces, but also to manage the major risks involved in the active use of DER. In addition, the dissertation introduces an analysis of the economic potential of DER control actions in different marketplaces including the day-ahead Elspot market, balancing power market, and the hourly market of Frequency Containment Reserve for Disturbances (FCR-D).

Desiccation tolerance of Tapirira obtusa seeds collected from different environments

This study was aimed at evaluating the desiccation sensitivity in seeds of the tree Tapirira obtusa (Benth.) J. D. Mitchell collected from three different environments and subjected to two distinct drying speeds. Seeds were collected from a rocky area, in the "Cerrado", and in a riparian forest area, in the region of municipality of Lavras, State of Minas Gerais. The seeds were subjected to drying with magnesium chloride (slow drying) or silica gel (fast drying), into closed environment, until moisture contents of 40%, 30%, 20% and 10%, considering as control, the percentage of germination at the initial moisture content in each environment, which varied from 47% to 50%. Percentages of germination and normal seedlings as well as germination speed index were assessed. For the three environments studied, there was no effect of slow drying on seed germination. Seeds from area of Cerrado, however, have shown a slight reduction on germination when subjected to fast drying. Oppositely, seeds from rocky area had germination increased when subjected to fast drying. Seeds from riparian forest area had no reduction on germination percentage, independent of drying speed. Results suggest that seeds of T. obtusa are not sensitive to desiccation.

Business modeling in turbulent environments

This study presents an agile tool set for the business modeling in companies, entering the turbulent environment. The study’s aim is to explore business modeling techniques and their tooling by utilizing a case study of a Finnish media monitoring company, expanding to the Russian market. This work proposes a tailored “two-approach” of business modeling development that analyzes both the past and future conditions of two key factors of business modeling for companies – internal and external environments. The study explores a case company by investigating the benefits and disadvantages of firm’s present business modeling tools, developing a new tooling and applying it to the case company. Among primary data utilization, such as interviews with media monitoring industry analysts and representatives of the competing companies, and academic experts, study leans up on the comprehensive analysis of Russian media monitoring niche and its players. This study benefits the business modeling research area and combines traditional analysis tools, such as market, PESTLE and competitor analyses, in a systemic manner, with the business modeling techniques. This transformation proceeds through applying of the integrated scenario, heat map and critical design issues’ analyses in the societal, industrial and competitive context of turbulent environments. The practical outcome of this approach is the development of agile business modeling tool set, customizable by company’s requirements.

A narrative journey of teacher reflexivity and authenticity in technological environments /

This qualitative narrative inquiry was driven by my desire to further explore my personal discovery that my utilization of educational technologies in teaching and learning environments seemed to heighten a sense of creativity, which in turn increased reflective practice and authenticity in my teaching. A narrative inquiry approach was used as it offered the opportunity to uncover the deeper meanings of authenticity and reflection as participants' personal experiences were coconstructed and reconstructed in relationship with me and in relationship to a social milieu. To gain further insight into this potential phenomenon, I engaged in 2 conversational interviews with 2 other teachers from an Ontario College in a large urban centre who have utilized educational technologies in their teaching and learning communities and I maintained a research journal, constructed during the interview process, to record my own emerging narrative accounts, reflections, insights and further questions. The field texts consisted of transcriptions of the interviews and my reflective journal. Research texts were developed as field texts were listened to multiple times and texts were examined for meanings and themes. The educational technologies that both women focused on in the interview were digital video of children as they play, learn and develop and the use of an audible teacher voice in online courses. The invitation given to students to explore and discover meaning in videos of children as they watched them with the teacher seemed to be a catalyst for authenticity and a sense of synergy in the classroom. The power of the audible teacher voice came through as an essential component in online learning environments to offer students a sense of humanness and connection with the teacher. Relationships in both online and face to face classrooms emerged as a necessary and central component to all teaching and learning communities. The theme of paradox also emerged as participants recognized that educational technologies can be used in ways that enhance creativity, authenticity, reflection and relationships or in ways that hinder these qualities in the teaching and learning community. Knowledge of the common experiences of college educators who utilize educational technologies, specifically digital video of children to educate early childhood educators, might give meaning and insight to inform the practice of other teachers who seek authentic, reflexive practice in the classroom and in on line environments.

Examining sport commitment and intentions to participate in intramural sports : application of the Sport Commitment Model and the Theory of Planned Behaviour in a campus recreational sport setting

Fifty-six percent of Canadians, 20 years of age and older, are inactive (Canadian Community Health Survey, 200012001). Research has indicated that one of the most dramatic declines in population physical activity occurs between adolescence and young adulthood (Melina, 2001; Stephens, Jacobs, & White, 1985), a time when individuals this age are entering or attending college or university. Colleges and universities have generally been seen as environments where physical activity and sport can be promoted and accommodated as a result of the available resources and facilities (Archer, Probert, & Gagne, 1987; Suminski, Petosa, Utter, & Zhang, 2002). Intramural sports, one of the most common campus recreational sports options available for post-secondary students, enable students to participate in activities that are suited for different levels of ability and interest (Lewis, Jones, Lamke, & Dunn, 1998). While intramural sports can positively affect the physical activity levels and sport participation rates of post-secondary students, their true value lies in their ability to encourage sport participation after school ends and during the post-school lives of graduates (Forrester, Ross, Geary, & Hall, 2007). This study used the Sport Commitment Model (Scanlan et aI., 1993a) and the Theory of Planned Behaviour (Ajzen, 1991) with post secondary intramural volleyball participants in an effort to examine students' commitment to intramural sport and 1 intentions to participate in intramural sports. More specifically, the research objectives of this study were to: (1.) test the Sport Commitment Model with a sample of postsecondary intramural sport participants(2.) determine the utility of the sixth construct, social support, in explaining the sport commitment of post-secondary intramural sport participants; (3.) determine if there are any significant differences in the six constructs of IV the SCM and sport commitment between: gender, level of competition (competitive A vs. B), and number of different intramural sports played; (4.) determine if there are any significant differences between sport commitment levels and constructs from the Theory of Planned Behaviour (attitudes, subjective norms, perceived behavioural control, and intentions); (5.) determine the relationship between sport commitment and intention to continue participation in intramural volleyball, continue participating in intramurals and continuing participating in sport and physical activity after graduation; and (6.) determine if the level of sport commitment changes the relationship between the constructs from the Theory of Planned Behaviour. Of the 318 surveys distributed, there were 302 partiCipants who completed a usable survey from the sample of post-secondary intramural sport participants. There was a fairly even split of males and females; the average age of the students was twenty-one; 90% were undergraduate students; for approximately 25% of the students, volleyball was the only intramural sport they participated in at Brock and most were part of the volleyball competitive B division. Based on the post-secondary students responses, there are indications of intent to continue participation in sport and physical activity. The participation of the students is predominantly influenced by subjective norms, high sport commitment, and high sport enjoyment. This implies students expect, intend and want to 1 participate in intramurals in the future, they are very dedicated to playing on an intramural team and would be willing to do a lot to keep playing and students want to participate when they perceive their pursuits as enjoyable and fun, and it makes them happy. These are key areas that should be targeted and pursued by sport practitioners.

Investigating the potential of thecamoebians (testate amoebae) as bio-indicators of impact of oil sands mining operations on freshwater environments in Northeastern Alberta, Canada

Thecamoebian (testate amoeba) species diversity and assemblages in reclamation wetlands and lakes in northeastern Alberta respond to chemical and physical parameters associated with oil sands extraction. Ecosystems more impacted by OSPM (oil sands process-affected material) contain sparse, low-diversity populations dominated by centropyxid taxa and Arcella vulgaris. More abundant and diverse thecamoebian populations rich in difflugiid species characterize environments with lower OSPM concentrations. These shelled protists respond quickly to environmental change, allowing year-to-year variations in OSPM impact to be recorded. Their fossil record thus provides corporations with interests in the Athabasca Oil Sands with a potential means of measuring the progression of highlyimpacted aquatic environments to more natural wetlands. Development of this metric required investigation of controls on their fossil assemblage (e.g. seasonal variability, fossilization potential) and their biogeographic distribution, not only in the constructed lakes and wetlands on the oil sands leases, but also in natural environments across Alberta.

Economic security & reconstruction: utility, history and practice in post-conflict environments

Please consult the paper edition of this thesis to read. It is available on the 5th Floor of the Library at Call Number: Z 9999 P65 D53 2007

A Shift in Role: The Perspectives of Ontario Secondary Principals Working in Data-Driven Environments

This study occurred in 2009 and questioned how Ontario secondary school principals perceived their role had changed, over a 7 year period, in response to the increased demands of data-driven school environments. Specifically, it sought to identify principals' perceptions on how high-stakes testing and data-driven environments had affected their role, tasks, and accountability responsibilities. This study contextualized the emergence of the Education Quality and Accountability Offices (EQAO) as a central influence in the creation of data-driven school environments, and conceptualized the role of the principal as using data to inform and persuade a shift in thinking about the use of data to improve instruction and student achievement. The findings of the study suggest that data-driven environments had helped principals reclaim their positional power as instructional leaders, using data as an avenue back into the classroom. The use of data shifted the responsibilities of the principal to persuade teachers to work collaboratively to improve classroom instruction in order to demonstrate accountability.

Empowering Nursing Leaders to Facilitate Healthy Work Environments: First Steps

The purpose of this project was to examine the literature for perspectives on healthy work environments (HWE). HWEs have been identified as important factors in the nursing profession to enhance recruitment, retention, job satisfaction, and accountability. This paper identifies that the front line manager is an essential role within organizations, and directly impacts work environments. Within this paper it has been pointed out that professional organizations have provided some general recommendations for improving work environments which include increasing nurses’ accountability and teamwork, providing opportunities for shared decision making, having supportive leadership, providing recognition, educational support, and adequate staffing. However, enacting them all can be difficult due to front line manager capacity, the impending nursing shortage, organizational resources and barriers. Based on the literature, conclusions have been drawn and recommendations for future research have been identified. HWE strategies have been developed with implementation plans for my practice area.

Poverty and Education: Preparing Teacher Candidates for Economically Diverse Classroom Environments

The poverty rate in Ontario affects approximately 1 in 6 children. Consequently, many classrooms in the province include students who come from poverty, and teachers are faced with the challenge of providing an equitable education to students who come from economically diverse backgrounds. Because student poverty in our education system is so prevalent, this challenge exists also for teacher candidates who enter the education system and complete their practicums in classrooms that often include students from impoverished backgrounds. This project examined issues of poverty and education and developed a workshop to assist teacher candidates to develop knowledge in this area. The project combined existing pedagogical approaches with participants’ recommendations and developed a workshop that could be delivered to Faculty of Education students. The workshop addresses poverty, the relationship between poverty and education, student academic achievement and well-being, and the relationship between school and home. The goal and hope of the workshop is that teacher candidates will be better prepared when working in economically diverse school environments.

Adult Learning in the Transformational Environments of the Digital Revolution: Connecting Theory and Practice

The purpose of this study was to investigate the learning preferences and the post-secondary educational experiences of a group of Net-Gen adult learners, aged between 18 and 35, currently working in the knowledge economy workplace, and their assessment of how adequately they were prepared to meet the requirements of the knowledge economy workplace. This study utilized an explanatory mixed-method research design. Participants completed a questionnaire providing information on their self-reported learning style preferences, their use of digital tools for formal and informal learning, their use of digital technologies in postsecondary educational experiences, and their use of digital technologies in their workplace. Four volunteers from the questionnaire respondents were selected to participate in interviews based on the diversity of their experiences in higher education, including digital environments, and the diversity of their knowledge economy workplaces. Data collected from the questionnaire were analyzed for descriptive and demographic statistics, and categorized so that common patterns could be identified from information gathered from the online questionnaire and interviews. Findings based on this study indicated that these Net-Gen adult learners were fluent with all types of digital technologies in collaborative environments, expecting their educational experiences to provide a similar experience. Participants clearly expressed an understanding that digital/collaborative aptitudes are essential to successful employment in the knowledge economy workplace. The findings of this study indicated that the majority of participants felt that their post-secondary educational experiences did not adequately prepare them to meet the expectations of this type of working environment.