2009 Fourth International Conference on Embedded and Multimedia Computing最新文献_第2页

A Model-Based Soft Errors Risks Minimization Approach 基于模型的软错误风险最小化方法

2009 Fourth International Conference on Embedded and Multimedia Computing Pub Date : 2009-12-01 DOI: 10.1109/EM-COM.2009.5402994

M. S. Sadi, D. Myers, César Sánchez, Jan Jurjens

引用次数: 0

Energy-Efficient Meter Data Aggregation Protocol for (AMR) Automatic Meter Reading Networks 节能仪表数据聚合协议(AMR)自动抄表网络

2009 Fourth International Conference on Embedded and Multimedia Computing Pub Date : 2009-12-01 DOI: 10.1109/EM-COM.2009.5402967

Kwang-il Hwang, Doosoon Park, Sang-Soo Yeo, J. Park

引用次数: 7

A Formal Framework for Modeling External Behavior of an Embedded System As a Black Box Structure 作为黑盒结构的嵌入式系统外部行为建模的形式化框架

2009 Fourth International Conference on Embedded and Multimedia Computing Pub Date : 2009-12-01 DOI: 10.1109/EM-COM.2009.5402963

J. Sastry, V. C. Prakash, L. S. S. Reddy

{"title":"A Formal Framework for Modeling External Behavior of an Embedded System As a Black Box Structure","authors":"J. Sastry, V. C. Prakash, L. S. S. Reddy","doi":"10.1109/EM-COM.2009.5402963","DOIUrl":"https://doi.org/10.1109/EM-COM.2009.5402963","url":null,"abstract":"Embedded systems must be high quality systems and the development of embedded systems involves modeling both the external and internal behaviors of the systems. Cleanroom software engineering (CRSE) life cycle methodology concentrates on the quality issues by considering different formal verification and validation methods introduced at different stages of development. CRSE uses box structures that employ formal methods to achieve high quality software systems in specific. In CRSE, the external behavioral modeling is achieved through design of Black Box Structures. CRSE can be used for the development of embedded systems as CRSE methodology is also based on both External and internal behavior modeling. Many methods were proposed in the literature for designing the Black box structures that are based on intuition or experience of the designers. Therefore CRSE suffers from lack of Formal Frameworks to derive Box structures meant for modeling the External Behavior. In this paper, a formal architectural framework related to external behavior modeling based on end-to-end processing of the embedded systems represented by thin threads and composite threads is presented that helps in representing the stimulus-response requirements of the embedded systems to be built as Black box structures. The external behavioral model of a pilot project (Temperature Monitoring and Controlling of Nuclear Reactor system) is presented using the formal framework proposed in this paper. Keywords— Black Box Structures, Thin Threads, StimulusResponse, Cleanroom Software Engineering, Embedded Systems, External Behaviour, Framework, Formal Methods.","PeriodicalId":290107,"journal":{"name":"2009 Fourth International Conference on Embedded and Multimedia Computing","volume":"146 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116206336","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

A Java Software Stack for Resource Poor Sensor Nodes: Towards Peer-to-Peer Jini 面向资源贫乏传感器节点的Java软件栈:面向点对点Jini

2009 Fourth International Conference on Embedded and Multimedia Computing Pub Date : 2009-12-01 DOI: 10.1109/EM-COM.2009.5402981

N. Costa, António Pereira, Carlos Serôdio

引用次数: 3

Fast Implementation of Spatial Averaging 空间平均的快速实现

2009 Fourth International Conference on Embedded and Multimedia Computing Pub Date : 2009-12-01 DOI: 10.1109/EM-COM.2009.5402977

Songyot Nakariyakul

引用次数: 0

Model Checking Assembly Code of an Industrial Knitting Machine 工业针织机模型校核装配程序

2009 Fourth International Conference on Embedded and Multimedia Computing Pub Date : 2009-12-01 DOI: 10.1109/EM-COM.2009.5402986

T. Reinbacher, M. Horauer, Bastian Schlich, Jörg Brauer, Florian Scheuer

引用次数: 4

High Speed USB 2.0 Interface for FPGA Based Embedded Systems 基于FPGA的嵌入式系统高速USB 2.0接口

2009 Fourth International Conference on Embedded and Multimedia Computing Pub Date : 2009-12-01 DOI: 10.1109/EM-COM.2009.5403002

Fatemeh Jolfaei, Neda Mohammadizadeh, Mohammad S. Sadri, Fatemeh FaniSani

引用次数: 13

A Formal Framework for Verification and Validation of External Behavioral Models of Embedded Systems through Use Case Models 通过用例模型验证和确认嵌入式系统外部行为模型的形式化框架

2009 Fourth International Conference on Embedded and Multimedia Computing Pub Date : 2009-12-01 DOI: 10.1109/EM-COM.2009.5402964

J. Sastry, V. C. Prakash, L. S. S. Reddy

{"title":"A Formal Framework for Verification and Validation of External Behavioral Models of Embedded Systems through Use Case Models","authors":"J. Sastry, V. C. Prakash, L. S. S. Reddy","doi":"10.1109/EM-COM.2009.5402964","DOIUrl":"https://doi.org/10.1109/EM-COM.2009.5402964","url":null,"abstract":"Embedded Systems can be engineered using Clean room Software Engineering methodology (CRSE) as it considers all the quality issues as integral part of the CRSE Life cycle model and lays stress on the reduced size and effort of testing through statistical use testing. Both CRSE and embedded systems development methodologies are based on stimulus-response models. The stimulus-response models are used for designing the external behavioral requirements. Thus, CRSE, in a revised form, can be conveniently be used for the development of reliable embedded systems. Verification and validation of one model with the other such as verifying the external behavior models (Black Box Structures) with the requirement specifications and vice versa is the most important built-in feature of CRSE. In the literature the verification and validation methods described are manual step by step procedures which are either intuitive or experience based. CRSE suffers from lack of Formal Frameworks to verify Box structures with the requirement specification and vice versa. In this paper, a methodology is proposed for verifying Black box structures which are derived using END-TO-END processing requirements of the embedded systems. The verification mechanism is built around generation of stimulus-response sequences in two different ways and proving that the sequences generated are the same when the system has been properly built. The stimulus-response sequences generation from the perspectives of thin threads and use case models has been presented in this paper.","PeriodicalId":290107,"journal":{"name":"2009 Fourth International Conference on Embedded and Multimedia Computing","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121352568","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Environment Recognition from Audio Using MPEG-7 Features 使用MPEG-7功能的音频环境识别

2009 Fourth International Conference on Embedded and Multimedia Computing Pub Date : 2009-12-01 DOI: 10.1109/EM-COM.2009.5402978

G. Muhammad, K. Alghathbar

引用次数: 18

Embedded Data Fusion Toolbox: A Model Driven Architecture 嵌入式数据融合工具箱:模型驱动的体系结构

2009 Fourth International Conference on Embedded and Multimedia Computing Pub Date : 2009-12-01 DOI: 10.1109/EM-COM.2009.5402999

N. Miralaei, Sh. Koosha, M. Jamali, Z. Navabi, C. Lucas

{"title":"Embedded Data Fusion Toolbox: A Model Driven Architecture","authors":"N. Miralaei, Sh. Koosha, M. Jamali, Z. Navabi, C. Lucas","doi":"10.1109/EM-COM.2009.5402999","DOIUrl":"https://doi.org/10.1109/EM-COM.2009.5402999","url":null,"abstract":"Reducing time to market, design cost and fast developing, prototyping and testing of embedded industrial and automation models are very interesting topics in recent manufacturing and industry methodologies. In recent years, Model driven architecture or engineering methodology has been introduced in the field of software engineering by OMG. This methodology separate platform independent, and platform specific concerns, and could be utilized and extended to other fields of engineering. In many industrial applications, embedded, distributed and fast sensory data fusion operators are necessary, and system complexities could be dominated by low level dedicated fast fusion operators on real time hardware platforms such as CPLDs and FPGAs. In this experience, embedded data fusion toolbox has been developed for fast design, prototyping, test and implementation of simple fusion operators on embedded industrial platforms. This toolbox has been implemented in MATLAB/ Simulink environment via behavioral arithmetic to the implementation on either FPGA. Reusability, scalability, chip area, precision and other design criteria are considered in design process, and desired HDL models could be obtained automatically. This fully automated toolbox is extendible for complex data fusion operators, subsequently the platform-independent model can be translated to a platform-specific model (PSM) by mapping the PIM to some implementation language or platform using formal rules in order to preparing targeted models in different platforms.","PeriodicalId":290107,"journal":{"name":"2009 Fourth International Conference on Embedded and Multimedia Computing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126533637","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0