Applying formal methods to standard development: the open distributed processing experience

Since their introduction, formal methods have been applied in various ways to different standards. This paper gives an account of these applications, focusing on one application in particular: the development of a framework for creating standards for Open Distributed Processing (ODP). Following an introduction to ODP, the paper gives an insight into the current work on formalising the architecture of the Reference Model of ODP (RM-ODP), highlighting the advantages to be gained. The different approaches currently being taken are shown, together with their associated advantages and disadvantages. The paper concludes that there is no one all-purpose approach which can be used in preference to all others, but that a combination of approaches is desirable to best fulfil the potential of formal methods in developing an architectural semantics for OD

Life cycle analysis of road construction and use

Both the construction and use of roads have a range of environmental impacts; therefore, it is important to assess the sources of their burdens to adopt correct mitigation policies. Life cycle analysis (LCA) is a useful method to obtain demonstrable, accurate and non-misleading information for decision-making experts. The study presents a "cradle to gate with options" LCA of a provincial road during 60 year-service life. Input data derive from the bill of quantity of the project and their impacts have been evaluated according to the European standard EN 15804. The study considers the impacts of the construction and maintenance stages, lighting, and use of the vehicles on the built road. The results obtained from a SimaPro model highlight that the almost half of impacts took place during the construction stage rather than the use stage. Therefore, the adoption of environmentally friendly road planning procedures, the use of low-impact procedures in the production of materials, and the use of secondary raw materials could have the largest potential for reducing environmental impacts

Software engineering and middleware: a roadmap (Invited talk)

The construction of a large class of distributed systems can be simplified by leveraging middleware, which is layered between network operating systems and application components. Middleware resolves heterogeneity and facilitates communication and coordination of distributed components. Existing middleware products enable software engineers to build systems that are distributed across a local-area network. State-of-the-art middleware research aims to push this boundary towards Internet-scale distribution, adaptive and reconfigurable middleware and middleware for dependable and wireless systems. The challenge for software engineering research is to devise notations, techniques, methods and tools for distributed system construction that systematically build and exploit the capabilities that middleware deliver

A glimpse into nursing discursive behaviour in interprofessional online learning

Background: The importance of interprofessional learning to provide quality patient care has resulted in the increasing use of asynchronous computer mediated conferencing in healthcare programmes within universities. The asynchronicity based on typed-written discussions in a virtual learning environment which provided flexibility in learning was used to increase opportunities for nurses and other allied healthcare professionals to participate in interprofessional learning in higher education. However, successful online learning relies on discursive practices in the virtual learning environment, embedded within discursive exchanges in practice are power relations in nursing language use; which had a negative impact on interprofessional learning and working relationships amongst nurses, between nurses and other allied healthcare professionals. This paper presents an analysis of the discursive practices of registered nurses in interprofessional learning based on asynchronous computer mediated conferencing. It aimed to ascertain if power relations were implicit in nursing language. Methods: Fairclough’s critical discourse analysis was used to analyse eight hundred and ninety typewritten online messages created in a 100% text-based online learning module at Master’s level in a University in North England between September 2004 and September 2009. Although the messages were created by 9 registered nurses and 4 other allied healthcare professionals undertaking interprofessional learning to learn about the issues surrounding e-learning in healthcare settings, this paper is part of a larger study focused on the messages by the nurses. Results: Nurses’ messages tended to appear as the first few responses in the discussion threads and their language was formal and objectifying. The genres resembled those found either in written assignment within higher education or in nursing documentation within practice. The virtual learning environment was an alternative social space for clinical practice where dominance of nurses was created, maintained and reinforced. Conclusions: Existing literature highlighted the incidents of problematic issues of interprofessional learning. In contrast, this paper explains the way nurses, through discursive practices, construct themselves in relation to their nursing and allied healthcare colleagues. Nurses need to be aware of the power-relations embedded in their language use and future research could usefully focus on the discursive aspect of interprofessional learning

Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems

Due to the increasing usage of machine learning (ML) techniques in security- and safety-critical domains, such as autonomous systems and medical diagnosis, ensuring correct behavior of ML systems, especially for different corner cases, is of growing importance. In this paper, we propose a generic framework for evaluating security and robustness of ML systems using different real-world safety properties. We further design, implement and evaluate VeriVis, a scalable methodology that can verify a diverse set of safety properties for state-of-the-art computer vision systems with only blackbox access. VeriVis leverage different input space reduction techniques for efficient verification of different safety properties. VeriVis is able to find thousands of safety violations in fifteen state-of-the-art computer vision systems including ten Deep Neural Networks (DNNs) such as Inception-v3 and Nvidia's Dave self-driving system with thousands of neurons as well as five commercial third-party vision APIs including Google vision and Clarifai for twelve different safety properties. Furthermore, VeriVis can successfully verify local safety properties, on average, for around 31.7% of the test images. VeriVis finds up to 64.8x more violations than existing gradient-based methods that, unlike VeriVis, cannot ensure non-existence of any violations. Finally, we show that retraining using the safety violations detected by VeriVis can reduce the average number of violations up to 60.2%.Comment: 16 pages, 11 tables, 11 figure

REDEVELOPMENT OF INDUSTRIAL LAND IN URBAN AREAS: OPPORTUNITIES AND CONSTRAINTS. A CASE STUDY OF TEXTILE MILL LAND REDEVELOPMENT IN MUMBAI

Urban industrial land is an important and integral part of city land use. Mumbai had been the industrial power house of India since the British were in rule. It was a prime centre for cotton processing that directly fed into the cotton mills that were established in the subsequent phases of history. After led by the textile mills, several other large and medium scale industries were established in the post-independence era and the development plans made provision for the same through earmarking industrial zones for manufacturing, trade and logistics operations. Bombay has shown how to build the enormous potential in industrial production and almost became one of the country’s backbones of industries and economy. However, concentration of industries and industrialization have also left many demands on city’s infrastructure and housing, and pressure began to mount on making the city inhabitable through shifting of industries to the outskirts. In the subsequent periods, what is known as the ‘decongestion’ policies were laid down in the era of first regional master plan proposed both industrial as well as population decongestion, at a time when the population rise and industrialization were on move. These together with other factors laid death knell for manufacturing industry in general and textile industry in particular. As textile mills were closing down their operations, they sought commercial redevelopment of the land, which became an important historical battle between the industry and government. The first proposal of government based on the Charles Correa Committee report sought equal distribution of land between city government, industry and state government, which was later amended to change the fate of declining textile mills through DCR 58. This paper traces these changes in industrial planning and policy in Mumbai that have some important implications to the development of industrial land in cities.industrial location policy, textile mill land, redevelopment, planning and markets

Enterprise modeling using the foundation concepts of the RM-ODP ISO/ITU standard

Enterprise architecture (EA) projects require analyzing and designing across the whole enterprise and its environment. Enterprise architects, therefore, frequently develop enterprise models that span from the markets in which the organization operates down to the implementation of the IT systems that support its operations. In this paper, we present SEAM for EA: a method for defining an enterprise model in which all the systems are systematically represented with the same modeling ontology. We base our modeling ontology on the foundation modeling concepts defined in Part 2 of ISO/ITU Standard "Reference Model of Open Distributed Processing” (RM-ODP). This work has two contributions to enterprise architecture: the SEAM for EA method itself and the use of Part 2 of the RM-ODP standard as a modeling ontolog

Telecommunication Services Engineering- Definitions, Architectures and Tools

This paper introduces telecommunication services engineering through a definition of services, of network architectures that run services, and of methods, techniques and tools used to develop services. We emphasize the Intelligent Network (IN), the Telecommunication Management Network (TMN) and TINA architecture

An Architecture for Integrated Intelligence in Urban Management using Cloud Computing

With the emergence of new methodologies and technologies it has now become possible to manage large amounts of environmental sensing data and apply new integrated computing models to acquire information intelligence. This paper advocates the application of cloud capacity to support the information, communication and decision making needs of a wide variety of stakeholders in the complex business of the management of urban and regional development. The complexity lies in the interactions and impacts embodied in the concept of the urban-ecosystem at various governance levels. This highlights the need for more effective integrated environmental management systems. This paper offers a user-orientated approach based on requirements for an effective management of the urban-ecosystem and the potential contributions that can be supported by the cloud computing community. Furthermore, the commonality of the influence of the drivers of change at the urban level offers the opportunity for the cloud computing community to develop generic solutions that can serve the needs of hundreds of cities from Europe and indeed globally.Comment: 6 pages, 3 figure

A Survey on the Contributions of Software-Defined Networking to Traffic Engineering

Since the appearance of OpenFlow back in 2008, software-defined networking (SDN) has gained momentum. Although there are some discrepancies between the standards developing organizations working with SDN about what SDN is and how it is defined, they all outline traffic engineering (TE) as a key application. One of the most common objectives of TE is the congestion minimization, where techniques such as traffic splitting among multiple paths or advanced reservation systems are used. In such a scenario, this manuscript surveys the role of a comprehensive list of SDN protocols in TE solutions, in order to assess how these protocols can benefit TE. The SDN protocols have been categorized using the SDN architecture proposed by the open networking foundation, which differentiates among data-controller plane interfaces, application-controller plane interfaces, and management interfaces, in order to state how the interface type in which they operate influences TE. In addition, the impact of the SDN protocols on TE has been evaluated by comparing them with the path computation element (PCE)-based architecture. The PCE-based architecture has been selected to measure the impact of SDN on TE because it is the most novel TE architecture until the date, and because it already defines a set of metrics to measure the performance of TE solutions. We conclude that using the three types of interfaces simultaneously will result in more powerful and enhanced TE solutions, since they benefit TE in complementary ways.European Commission through the Horizon 2020 Research and Innovation Programme (GN4) under Grant 691567 Spanish Ministry of Economy and Competitiveness under the Secure Deployment of Services Over SDN and NFV-based Networks Project S&NSEC under Grant TEC2013-47960-C4-3-