检索结果-内蒙古大学图书馆

model-based programming of intelligent embedded systems and robotic space explorers

PROCEEDINGS OF THE IEEE 2003年第1期91卷 212-237页

作者： Williams, BC Ingham, MD Chung, SH Elliott, PH MIT Space Syst & Artificial Intelligence Labs Cambridge MA 02139 USA

programming complex embedded systems involves reasoning through intricate system interactions along lengthy paths between sensors, actuators, and control processors. This is a challenging, time-consuming, and error-prone process requiring significant interaction between engineers and software programmers. Furthermore, the resulting code generally lacks. modularity and robustness in the presence of failure. model-based programming addresses these limitations, allowing engineers to program reactive systems by specifying high-level control strategies and by assembling commonsense models of the system hardware and software. In executing a control strategy, model-based executives reason about the models "on the fly, " to track system state, diagnose faults, and perform reconfigurations. This paper develops the Reactive model-based programming Language (RMPL) and its executive, called Titan. RMPL provides the features of synchronous, reactive languages, with the added ability of reading and writing to state variables that are hidden within the physical plant being controlled. Titan executes an RMPL program using extensive component-based declarative models of the plant to track states, analyze anomalous situations, and generate novel control sequences. Within its reactive control loop, Titan employs propositional inference to deduce the system's current and desired states, and it employs model-based reactive planning to move the plant from the current to the desired state.

关键词： constraint programming model-based autonomy model-based execution model-based programming model-based reasoning robotic execution synchronous programming

来源：评论

学校读者我要写书评

暂无评论

FeatureLanguage: Automatic Generation of Application Backend for model-based programming Course Projects 32

FeatureLanguage: Automatic Generation of Application Backend...

引用

32nd IEEE International Requirements Engineering Conference (RE)

作者： De Petrillo, Erica Mussbacher, Gunter McGill Univ Dept Elect & Comp Engn Quebec City PQ Canada

ISBN: (纸本)9798350395525;9798350395518

University programs in software engineering or computer science increasingly include foundational courses in model-driven engineering. Building a substantial application through a term-long group project is one hands-on, practical way to learn the concepts taught in these courses. While learning by example can be very beneficial, providing students of these model-based programming courses with solutions in the form of complete working applications can be a real challenge due to time and resource constraints. In this paper, we argue that by specifying high-level requirements using our FeatureLanguage, we can completely generate the backend (i.e., Controller and model) of a model-View-Controller (MVC) application suitable for a university-level course. The proposed FeatureLanguage is an extension of a domain model with a specification of the different features the application should be able to accommodate as well as the constraints that need to be enforced. First, we discuss the FeatureLanguage, followed by an explanation of the different transformations from the FeatureLanguage to the backend code. We demonstrate that the complete backend can be generated and compare a generated MVC application with its handwritten counterpart. We argue that it is also feasible to completely generate a Controller test suite following a behaviour-driven development approach as well as the frontend of the MVC application, which we will explore in future work.

关键词： model-Driven Engineering Domain model model-based programming MVC Application model Transformation

来源：评论

学校读者我要写书评

暂无评论

model-based Fifth Generation programming 29

Model-Based Fifth Generation Programming

引用

29th International Conference on Information modeling and Knowledge Bases (EJC)

作者： Thalheim, Bernhard Jaakkola, Hannu Christian Albrechts Univ Kiel Comp Sci Inst D-24098 Kiel Germany Tampere Univ POB 300 FI-28101 Pori Finland

ISBN: (纸本)9781643680453;9781643680446

programming became more and more comfortable with development of third and fourth generation programming languages. Although the fifth generation project did not achieve its goals, the necessity for more comfortability is still challenging. This paper delineates the path towards true fifth generation programming. based on literate modelling with model suites that generalises model-driven development and conceptual-model programming. A model suite consists of a coherent collection of explicitly associated models. A model in the model suite is used for different purposes such as communication, documentation, conceptualisation, construction, analysis, design, explanation, and modernisation. The model suite can be used as a program of next generation and will be mapped to programs in host languages of fourth or third generation. So, we claim that models will become programs of true fifth generation programming.

关键词： model-based programming models are programs

来源：评论

学校读者我要写书评

暂无评论

Reactive, model-based monitoring in RFID-enabled manufacturing

引用

COMPUTERS IN INDUSTRY 2011年第8-9期62卷 811-819页

作者： Huang, Yi Williams, Brian C. Zheng, Li Tsinghua Univ Dept Ind Engn Beijing 100084 Peoples R China MIT Comp Sci & Artificial Intelligence Lab Cambridge MA 02139 USA

Radio frequency identification (RFID) technology is widely applied throughout the manufacturing lifecycle to track important objects. It is imperative to establish a reactive monitoring system to convert large volumes of RFID data into meaningful information. Two major challenges must therefore be addressed: modeling complexity and monitoring efficiency. When the relationship between high-level "untagged" elements (business processes, indicators) and low-level "tagged" elements (persons, objects) becomes intricate, it will become difficult to define, maintain and reason by only using traditional rule-based event processing approaches. In order to resolve this problem, the paper proposes a reactive, model-based approach to monitor important elements by estimating their most likely states according to RFID information and a constraint-based model. The approach contains two phases. (1) The model-based programming phase formalizes RFID information and flexibly embeds them into the model that specifies the monitoring rules. (2) The model-based monitoring phase interprets the model and estimates desired states efficiently. Therefore, the RFID-enabled manufacturing units are capable of responding in a timely manner to unexpected disturbances or other important issues. (C) 2011 Elsevier B.V. All rights reserved.

关键词： RFID-enabled manufacturing Reactive monitoring model-based programming model-based monitoring Constraint-based reasoning Mode estimation

来源：评论

学校读者我要写书评

暂无评论

Automotive Software Partitioning: A Production-Centric Perspective 4

Automotive Software Partitioning: A Production-Centric Persp...

引用

4th European Symposium on Software Engineering (ESSE)

作者： Zhai, Yi Hahn, Michael Caggiano, Mario Sax, Eric Mercedes Benz AG Sindelfingen Germany Mercedes Benz AG Boblingen Germany Karlsruhe Inst Technol Karlsruhe Germany

ISBN: (纸本)9798400708817

Partitioning the software artifacts is a powerful technique to enhance modularity and manage the complexity of software systems. In the automotive industry, software partitioning is commonly used to isolate vehicular functions from various domains or vendors to accelerate function integration processes. This paper proposes a novel perspective on software partitioning for automotive software systems and demonstrates a redundancy-based approach that isolates the production-relevant part from the monolithic in-car software. This strategy can aid in reducing issues caused by frequent software updates and improving car assembly efficiency by reducing in-line flashing time. The paper also presents an overview of the costs and drawbacks associated with the proposed software partitioning approach.

关键词： automotive software architecture model-based programming software refactoring

来源：评论

学校读者我要写书评

暂无评论

Nanosatellite Event Simulator Development Using Scrum Agile Method and Safety-Critical Application Development Environment 12

Nanosatellite Event Simulator Development Using Scrum Agile ...

引用

12th International Conference on Information Technology: New Generations ITNG

作者： Pierre Mattei, Andre Luiz da Cunha, Adilson Marques Dias, Luiz AlbertoVieira Fonseca, Eloi Saotome, Osamu Takachi, Paulo Goncalves, Gildarcio Sousa Pivetta, Thoris Angelo Montalvao, Victor da Silva Kendi, Cassio de Freitas, Felipe Lopes Ferreira, Manasseis Alves Almeida, Mateus Andrade de Oliveira Rodrigues, Gabriel Goncalves ITA Sao Paulo Brazil

ISBN: (纸本)9781479988280

Development of satellite and launcher subsystems involves programming complex embedded systems and dealing with multiple system interactions while complying with both functional and technical requirements as well as software quality. Space onboard system project development is complex and is normally both time consuming and highly susceptible to errors. The combination of scrum agile methods with model-based programming addresses these restraints and allows synergetic interactions between team members. This paper describes the classroom experience of a group of students in the development of a Nanosatellite Event Simulator and its display interface for an Attitude Control and Determination Subsystem (ACDS). It was used the instructional technique of Interdisciplinary Project based Learning (IPBL) and the software SAfety-Critical Application Development Environment (SCADE).

关键词： model-based programming Interdisciplinary Project based Learning Safety-Critical Application Development Environment Scrum Agile Methods Nanosatellite

来源：评论

学校读者我要写书评

暂无评论

Simulation with consideration of hardware characteristics and auto-generated code using matlab/simulink

Simulation with consideration of hardware characteristics an...

引用

International Conference on Control, Automation and Systems

作者： Moon, Tae-Yoon Seo, Suk-Hyun Kim, Jin-Ho Hwang, Sung-Ho Jeon, Jae Wook Sungkyunkwan Univ Sch Informat & Commun Engn Suwon South Korea Sungkyunkwan Univ Sch Mech Engn Suwon South Korea

ISBN: (纸本)9788995003879

There are many embedded systems in the environment. Users are demanding increasingly advanced embedded systems. For these reasons, embedded systems have became more complicated and require a lot of time for designing. model-based programming has came into the spotlight in the embedded system industry that demands short time-to-market, especially in the automotive industry. model-based programming allows the developer to design and implement the system easily by using blocks, that provide automatic code-generation function. In addition, blocks provide the simulation function at the design and implementation step. Among the model-based programming's features, simulation is of greatest importance because accurate simulation can reduce cost, time and effort. Most simulators just estimate that the model works correctly without consideration of hardware characteristics. Therefore, this paper proposes the new hybrid-block that can simulate not only functions of the model, but also features of hardware. We develop the 16-bit embedded system for the Electronic Control Unit (ECU) in the automotive system and implement the hybrid-blocks that have two modes of automatic code-generation and simulation. The application model can be constructed by using the hybrid-block., In automatic code-generation mode, models can generate complete C program code for a specific platform without any modification. In simulation mode, the model can be simulated by considering the hardware and software characteristics of the model. In this paper, consequence of simulation with real-value in the 16-bit embedded system is compared.

关键词： simulation automatic code-generation model-based programming ECU embedded system

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：