The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software.

The TASTE tool-set results from spin-off studies of the ASSERT project, which started in 2004 with the objective to propose innovative and pragmatic solutions to develop real-time software. One of the primary targets was satellite flight software, but it appeared quickly that their characteristics were shared among various embedded systems. The solutions that we developed now comprise a process and several tools ; the development process is based on the idea that real-time, embedded systems are heterogeneous by nature and that a unique UML-like language was not helping neither their construction, nor their validation. Rather than inventing yet another "ultimate" language, TASTE makes the link between existing and mature technologies such as Simulink, SDL, ASN.1, C, Ada, and generates complete, homogeneous software-based systems that one can straightforwardly download and execute on a physical target. Our current prototype is moving toward a marketed product, and sequel studies are already in place to support, among others, FPGA systems

Market fields structure & dynamics in industrial automation

There is a research tradition in the economics of standards which addresses standards wars, antitrust concerns or positive externalities from standards. Recent research has also dealt with the process characteristics of standardisation, de facto standard-setting consortia and intellectual property concerns in the technology specification or implementation phase. Nonetheless, there are no studies which analyse capabilities, comparative industry dynamics or incentive structures sufficiently in the context of standard-setting. In my study, I address the characteristics of collaborative research and standard-setting as a new mode of deploying assets beyond motivations well-known from R&D consortia or market alliances. On the basis of a case study of a leading user organisation in the market for industrial automation technology, but also a descriptive network analysis of cross-community affiliations, I demonstrate that there must be a paradoxical relationship between cooperation and competition. More precisely, I explain how there can be a dual relationship between value creation and value capture respecting exploration and exploitation. My case study emphasises the dynamics between knowledge stocks (knowledge alignment, narrowing and deepening) produced by collaborative standard setting and innovation; it also sheds light on an evolutional relationship between the exploration of assets and use cases and each firm's exploitation activities in the market. I derive standard-setting capabilities from an empirical analysis of membership structures, policies and incumbent firm characteristics in selected, but leading, user organisations. The results are as follows: the market for industrial automation technology is characterised by collaboration on standards, high technology influences of other industries and network effects on standards. Further, system integrators play a decisive role in value creation in the customer-specific business case. Standard-setting activities appear to be loosely coupled to the products offered on the market. Core leaders in world standards in industrial automation own a variety of assets and they are affiliated to many standard-setting communities rather than exclusively committed to a few standards. Furthermore, their R&D ratios outperform those of peripheral members and experience in standard-setting processes can be assumed. Standard-setting communities specify common core concepts as the basis for the development of each member's proprietary products, complementary technologies and industrial services. From a knowledge-based perspective, the targeted disclosure of certain knowledge can be used to achieve high innovation returns through systemic products which add proprietary features to open standards. Finally, the interplay between exploitation and exploration respecting the deployment of standard-setting capabilities linked to cooperative, pre-competitive processes leads to an evolution in common technology owned and exploited by the standard-setting community as a particular kind of innovation ecosystem. --standard-setting,innovation,industry dynamics and context,industrial automation

Dependability-Assured Software Transformation

The proposed research is to create new paradigm of software transformation and analysis tools that will incorporate computer-aided prototyping system (CAPS) into dependability-assured software transformational platform (DAST) for highly dependable embedded systems (HDES). DAST extends CAPS with software architecting and composition technologies to transform macro dependability (global qualitative requirements) into micro dependability (quantitative constraints). Based upon rapid prototyping, the dependability-assured transformational process from a rapid-prototyped system to the highly dependable embedded system will involve quantitative constraint abstraction in multiple perspectives, software transformation, and formal method applied to verify the correctness of the eventual-evolved system.NSFApproved for public release; distribution is unlimited

Research on key techniques of flexible workflow based approach to supporting dynamic engineering design process

Error on title page - correct year of award is 2015 not 2013.Engineering design process (EDP) is a highly dynamic and creative process, and the capability in managing an EDP is considered as a major differentiating factor between competing enterprises. The most important prerequisite to establish an engineering design process excellence is a proper management of all the design process activities and the associated information. The most important impact in recent years on the EDP and on the activities of designers has come from computer-based data processing. Workflow, the automation of a business processes in whole or part, is a useful tool for modelling and managing a business process which can be reprensented by a workflow model (computerized process definition). By considering the dynamic characteristics of EDP, an EDP management system must be flexible enough to support the creative and dynamic EDP. After the introduction of engineering design process and its new trend, as well as flexible workflow technology, reviews of both engineering design process and its supporting flexible workflow technology shows that there is a need for a holistic framework to automate and coordinate design activities in the creative and dynamic EDP, and the flexible workflow technology should also be improved comprehensively in flexibility and intelligence in order to support better engineering design management. By introducing the relations between the EDP and flexible workflow, a virtual workflow and an autonomic flexible workflow built upon autonomic computing is investigated, and an innovative engineering design process management framework based on multi-autonomic objects flexible workflow is proposed. For the flexible workflow modelling in the framework, a dynamic instance-based flexible workflow modelling method is proposed for multi-autonomic objects flexible workflow. In order to improve the intelligence of flexible workflow, after examining the principle of flexible workflow intelligence in flexible workflow, a new flexible workflow autonomic object intelligence algorithm based on both extended Mamdani fuzzy reasoning and neural network is proposed, weighted fuzzy reasoning algorithm, as well as precise and fuzzy hybrid knowledge reasoning algorithm is designed; a bionic flexible workflow adaptation algorithm is proposed to improve the intelligence of autonomic object flexible workflow further. According to the characteristic of EDP, such as cross-enterprises and geographical distribution, and in order to realize the flexible execution of distributed flexible workflow engine, a distributed flexible workflow engine architecture based on web service is proposed and a flexible workflow model description method based on extended WSDL (Web Service Description Language) and BPEL4WS (Business Process Execution Language for Web Services) is proposed. A flexible workflow prototype system supporting engineering design process is implemented according to the proposed EDP management framework in Microsoft VS.Net 2005 environment. The framework is demonstrated by the application in an EDP of a MTO company, and it shows that the proposed framework can support the creative and dynamic process in an efficient way. Finally, the strengths and weakness of the framework as well as the prototype system is discussed based on the results of the evaluation, and the proposed areas of future work are given.Engineering design process (EDP) is a highly dynamic and creative process, and the capability in managing an EDP is considered as a major differentiating factor between competing enterprises. The most important prerequisite to establish an engineering design process excellence is a proper management of all the design process activities and the associated information. The most important impact in recent years on the EDP and on the activities of designers has come from computer-based data processing. Workflow, the automation of a business processes in whole or part, is a useful tool for modelling and managing a business process which can be reprensented by a workflow model (computerized process definition). By considering the dynamic characteristics of EDP, an EDP management system must be flexible enough to support the creative and dynamic EDP. After the introduction of engineering design process and its new trend, as well as flexible workflow technology, reviews of both engineering design process and its supporting flexible workflow technology shows that there is a need for a holistic framework to automate and coordinate design activities in the creative and dynamic EDP, and the flexible workflow technology should also be improved comprehensively in flexibility and intelligence in order to support better engineering design management. By introducing the relations between the EDP and flexible workflow, a virtual workflow and an autonomic flexible workflow built upon autonomic computing is investigated, and an innovative engineering design process management framework based on multi-autonomic objects flexible workflow is proposed. For the flexible workflow modelling in the framework, a dynamic instance-based flexible workflow modelling method is proposed for multi-autonomic objects flexible workflow. In order to improve the intelligence of flexible workflow, after examining the principle of flexible workflow intelligence in flexible workflow, a new flexible workflow autonomic object intelligence algorithm based on both extended Mamdani fuzzy reasoning and neural network is proposed, weighted fuzzy reasoning algorithm, as well as precise and fuzzy hybrid knowledge reasoning algorithm is designed; a bionic flexible workflow adaptation algorithm is proposed to improve the intelligence of autonomic object flexible workflow further. According to the characteristic of EDP, such as cross-enterprises and geographical distribution, and in order to realize the flexible execution of distributed flexible workflow engine, a distributed flexible workflow engine architecture based on web service is proposed and a flexible workflow model description method based on extended WSDL (Web Service Description Language) and BPEL4WS (Business Process Execution Language for Web Services) is proposed. A flexible workflow prototype system supporting engineering design process is implemented according to the proposed EDP management framework in Microsoft VS.Net 2005 environment. The framework is demonstrated by the application in an EDP of a MTO company, and it shows that the proposed framework can support the creative and dynamic process in an efficient way. Finally, the strengths and weakness of the framework as well as the prototype system is discussed based on the results of the evaluation, and the proposed areas of future work are given

The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software

International audienceThe TASTE tool-set results from spin-off studies of the ASSERT project, which started in 2004 with the objective to propose innovative and pragmatic solutions to develop real-time software. One of the primary targets was satellite flight software, but it appeared quickly that their characteristics were shared among various embedded systems. The solutions that we developed now comprise a process and several tools ; the development process is based on the idea that real-time, embedded systems are heterogeneous by nature and that a unique UML-like language was not helping neither their construction, nor their validation. Rather than inventing yet another "ultimate" language, TASTE makes the link between existing and mature technologies such as Simulink, SDL, ASN.1, C, Ada, and generates complete, homogeneous software-based systems that one can straightforwardly download and execute on a physical target. Our current prototype is moving toward a marketed product, and sequel studies are already in place to support, among others, FPGA systems

Internet of Things: Architectural Components, Protocols and Its Implementation for Ubiquitous Environment

Ubiquitous data processing of the sensing nodes has revolutionized the development of electronic industries manufacturing. The concept of the Internet of Things (IoT) is the connectivity of distributed sensing and processing nodes from anywhere rather than fixed computing. For the Implementation of Ubiquitous smart environment, anything and everything can be converted to smart IO Things, and where things have sensing and processing abilities for automation and analysis of environmental processes. Sensors, actuators, embedded processing systems, networking gateways, and IoT Cloud Services are the building blocks of IoT implementation. This paper presents a brief discussion on the connectivity of building blocks with various enabling technologies for the implementation of the Internet of Things. Moreover, many of data link standards and the internet of things data communication protocols will be in the discussion

Self-Adaptive Communication for Collaborative Mobile Entities in ERCMS

International audienceAdaptation of communication is required for maintaining the connectivity and the quality of communication in group-wide collaborative activities. This becomes challenging to handle when considering mobile entities in a wireless environment, requiring responsiveness and availability of the communication system. We address these challenges in the context of the ROSACE project where mobile ground and flying robots have to collaborate with each other and with remote human and artificial actors to save and rescue in case of disasters such as forest fires. This paper aims to expose a communication component architecture allowing to manage a cooperative adaptation which is aware of the activity and resource context into pervasive environment. This allows to provide the appropriate adaptation of the activity in response to evolutions of the activity requirements and the changes in relation with the communication resource constraints. In this paper, we present a simulation of a ROSACE use case. The results show how ROSACE entities collaborate to maintain the connectivity and to enhance the quality of communications

発展型システムにおけるエージェント指向設計手法に関する研究

Tohoku University木下哲男課

Computing Platforms for Big Biological Data Analytics: Perspectives and Challenges.

The last decade has witnessed an explosion in the amount of available biological sequence data, due to the rapid progress of high-throughput sequencing projects. However, the biological data amount is becoming so great that traditional data analysis platforms and methods can no longer meet the need to rapidly perform data analysis tasks in life sciences. As a result, both biologists and computer scientists are facing the challenge of gaining a profound insight into the deepest biological functions from big biological data. This in turn requires massive computational resources. Therefore, high performance computing (HPC) platforms are highly needed as well as efficient and scalable algorithms that can take advantage of these platforms. In this paper, we survey the state-of-the-art HPC platforms for big biological data analytics. We first list the characteristics of big biological data and popular computing platforms. Then we provide a taxonomy of different biological data analysis applications and a survey of the way they have been mapped onto various computing platforms. After that, we present a case study to compare the efficiency of different computing platforms for handling the classical biological sequence alignment problem. At last we discuss the open issues in big biological data analytics

Dynamic digital factories for agile supply chains: An architectural approach

Digital factories comprise a multi-layered integration of various activities along the factories and product lifecycles. A central aspect of a digital factory is that of enabling the product lifecycle stakeholders to collaborate through the use of software solutions. The digital factory thus expands outside the company boundaries and offers the opportunity to collaborate on business processes affecting the whole supply chain. This paper discusses an interoperability architecture for digital factories. To this end, it delves into the issue by analysing the key requirements for enabling a scalable factory architecture characterized by access to services, aggregation of data, and orchestration of production processes. Then, the paper revises the state-of-the-art w.r.t. these requirements and proposes an architectural framework conjugating features of both service-oriented and data-sharing architectures. The framework is exemplified through a case study