Developing Self-Managing Embedded Systems with ASSL

机译：使用ASSL开发自我管理的嵌入式系统

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

This research targets formal modeling of embedded systems capable of self-management. In our approach, we use the ASSL (Autonomic System Specification Language) framework as a development environment, where self-management features of embedded systems are formally specified and an implementation is automatically generated. ASSL exposes a rich set of specification constructs that help developers specify event-driven embedded systems. Hardware is sensed via special metrics intended to drive events and self-management policies that help the system handle critical situations in an autonomous reactive manner. We present this approach along with a simulation case study where ASSL is used to develop control software for the wide-angle camera carried on board NASA's Voyager II spacecraft.

机译：这项研究的目标是能够自我管理的嵌入式系统的形式化建模。在我们的方法中，我们使用ASSL（自主系统规范语言）框架作为开发环境，在该环境中正式指定嵌入式系统的自我管理功能并自动生成实现。 ASSL公开了一组丰富的规范结构，可帮助开发人员指定事件驱动的嵌入式系统。通过旨在驱动事件和自我管理策略的特殊度量来检测硬件，这些事件和自我管理策略有助于系统以自主的反应方式处理紧急情况。我们介绍了这种方法以及一个模拟案例研究，其中ASSL用于开发NASA Voyager II航天器上搭载的广角摄像机的控制软件。

著录项

来源
《Proceedings of the 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORC Workshops 2010)》|2010年|p.81-89|共9页
会议地点 Carmona(ES)
作者
Vassev E.; Hinchey M.;
展开▼
作者单位

Lero-the Irish Software Eng. Res. Centre, Univ. Coll. Dublin, Dublin, Ireland;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类 TP311.132.1;
关键词
ASSL; embedded systems; reactive systems; self-management;

机译：ASSL;嵌入式系统;反应系统;自我管理;

相似文献

外文文献
中文文献
专利

1. The ASSL approach to specifying self-managing embedded systems [J] . Emil Vassev, Mike Hinchey Concurrency and computation: practice and experience . 2012,第16期

机译：用于指定自我管理嵌入式系统的ASSL方法
2. Action-embedded transformational leadership in self-managing global information systems development teams [J] . U. Yeliz Eseryel, Deniz Eseryel Information age . 2013,第2期

机译：自我管理的全球信息系统开发团队中嵌入行动的变革型领导
3. An embedded debugging primer: Hugh O'Keeffe looks at common embedded debug strategies, the pros and cons of each and introduces the Atmel AVR32 on-chip debug system and associated debug tools developed by Ashling Microsystems [J] . Hugh OKeeffe Embedded Systems Europe . 2006,第73期

机译：嵌入式调试入门：Hugh O'Keeffe研究了常见的嵌入式调试策略，每种策略的优缺点，并介绍了Ashling Microsystems开发的Atmel AVR32片上调试系统和相关的调试工具。
4. Developing Self-Managing Embedded Systems with ASSL [C] . Vassev Emil, Hinchey Mike Proceedings of the 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORC Workshops 2010) . 2010

机译：使用ASSL开发自我管理的嵌入式系统
5. Towards self-managing computing systems: An augmented control theory approach. [D] . Lu, Ying. 2005

机译：迈向自我管理计算系统：增强控制理论方法。
6. Merits features and desiderata to be considered when developing electronic health records with embedded clinical decision support systems in Palestinian hospitals: a consensus study [O] . Ramzi Shawahna 2019

机译：巴勒斯坦医院在开发具有嵌入式临床决策支持系统的电子健康记录时应考虑的优点特征和绝望治疗：一项共识研究
7. Developing Self-Managing Embedded Systems with ASSL [O] . Emil Vassev, Mike Hinchey 2010

机译：使用ASSL开发自我管理的嵌入式系统
8. Challenges of Developing New Classes of NASA Self-Managing Missions [R] . Hinchey, M. G. , Rash, J. L. , Truszkowski, W. F. , 2005

机译：开发新一类Nasa自我管理任务的挑战

Developing Self-Managing Embedded Systems with ASSL

摘要

著录项

相似文献

相关主题

期刊订阅