2008 2nd Annual IEEE Systems Conference最新文献_第5页

Precision Guidance of Agricultural Tractors for Autonomous Farming 面向自主农业的农用拖拉机精确制导

2008 2nd Annual IEEE Systems Conference Pub Date : 2008-04-07 DOI: 10.1109/SYSTEMS.2008.4519026

R. Eaton, J. Katupitiya, K. W. Siew, K. S. Dang

{"title":"Precision Guidance of Agricultural Tractors for Autonomous Farming","authors":"R. Eaton, J. Katupitiya, K. W. Siew, K. S. Dang","doi":"10.1109/SYSTEMS.2008.4519026","DOIUrl":"https://doi.org/10.1109/SYSTEMS.2008.4519026","url":null,"abstract":"The agricultural industry is undergoing significant cultural shifts at present and will continue to do so into the future. These shifts have come about due to the emergence of more 'corporate' style farming, where declines in the labour workforce and increased emphasis on global competition, means a demand for increased efficiency and productivity in farming operations. Such a demand in turn lends itself to so called Precision Autonomous Farming (PAF). This paper presents ongoing work and progress in implementing a Systems Engineering approach to agricultural automation. An overview of the farming system is presented, depicting a system-of-system architecture. Each sub-system is described in more detail, and include the crop layout system, the software system, and the precision autonomous agricultural machinery system. Such autonomous machinery is used for seeding, crop sensing, harvesting, weeding and other follow-up operations. The authors propose the development and ongoing management of a Precision Farming Data Set (PFDS) formed off-line before crop cultivation, and used to achieve optimal performance of the farming system by specifying the spatial precision required for agricultural operations. Preliminary results are shown, highlighting the development and use of a fully instrumented tractor for use in agricultural operations, as well as initial research into developing high level path tracking controller for such machinery.","PeriodicalId":403208,"journal":{"name":"2008 2nd Annual IEEE Systems Conference","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127965494","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}

引用次数: 37

A Generic Architectural Framework for Proactive Systems Inspired by Molecular Biology 受分子生物学启发的主动系统的通用架构框架

2008 2nd Annual IEEE Systems Conference Pub Date : 2008-04-07 DOI: 10.1109/SYSTEMS.2008.4519024

M. Ibrahim

引用次数: 6

Automatic Test Generation From Semi-formal Specifications for Functional Verification of System-on-Chip Designs 片上系统设计功能验证的半正式规范自动测试生成

2008 2nd Annual IEEE Systems Conference Pub Date : 2008-04-07 DOI: 10.1109/SYSTEMS.2008.4519044

C. M. Kirchsteiger, J. Grinschgl, C. Trummer, C. Steger, R. Weiss, M. Pistauer

{"title":"Automatic Test Generation From Semi-formal Specifications for Functional Verification of System-on-Chip Designs","authors":"C. M. Kirchsteiger, J. Grinschgl, C. Trummer, C. Steger, R. Weiss, M. Pistauer","doi":"10.1109/SYSTEMS.2008.4519044","DOIUrl":"https://doi.org/10.1109/SYSTEMS.2008.4519044","url":null,"abstract":"In common design flows of system-on-chip (SoC) designs functional verification requires 70% of the entire design effort. Most of the effort for functional verification is spent on finding and creating adequate testcases to verify that the modeled design corresponds to its specification. This is done manually, since automatic test case generation from the specification is often not possible due to the informal, non-machine readable structure of the specification document. Formal specification languages would ease the parsing process, however, these formats are difficult to use by system engineers from different domains. A promising trade-off are semi-formal specification formats, which are both easy-to-parse and easy-to-use. The SIMBA project focuses on semi-formal use case-based specification formats, which are used to automatically generate a transaction-based SystemC verification platform. Finally, these SystemC testcases are simulated together with the System-under- Verification (SuV) to verify that it fulfills the given specification. This results in a novel design methodology regarding requirements elicitation and automatic test case generation. A demonstration is given by applying this methodology to a SystemC RFID controller model. It is shown that the demonstrated approach automates and improves the functional verification of SoCs.","PeriodicalId":403208,"journal":{"name":"2008 2nd Annual IEEE Systems Conference","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132673710","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}

引用次数: 18

Model Based Requirements Specification and Validation for Component Architectures 基于模型的组件体系结构需求规范和验证

2008 2nd Annual IEEE Systems Conference Pub Date : 2008-04-07 DOI: 10.1109/SYSTEMS.2008.4519001

I. Cardei, Mihai Fonoage, Ravi Shankar

{"title":"Model Based Requirements Specification and Validation for Component Architectures","authors":"I. Cardei, Mihai Fonoage, Ravi Shankar","doi":"10.1109/SYSTEMS.2008.4519001","DOIUrl":"https://doi.org/10.1109/SYSTEMS.2008.4519001","url":null,"abstract":"Requirements specification is a major component of the system development cycle. Mistakes and omissions in requirements documents lead to ambiguous or wrong interpretation by engineers and, in turn, cause errors that trickle down in design and implementation with consequences on the overall development cost. In this paper we describe a methodology for requirements specification that aims to alleviate the above issues and that produces models for functional requirements that can be automatically validated for completeness and consistency. This methodology is part of the Requirements Driven Design Automation framework (RDDA) that we develop for component-based system development. The RDDA framework uses an ontology-based language for semantic description of functional product requirements, UM- L/SysML structure diagrams, component constraints, and Quality of Service. The front end method for requirements specification is the SysML editor in Rhapsody. A requirements model in OWL is converted from SysML XMI representation. The specification is validated for completeness and consistency with a ruled-based system implemented in Prolog. With our methodology, omissions and several types of consistency errors present in the requirements specification are detected early on, before the design stage.","PeriodicalId":403208,"journal":{"name":"2008 2nd Annual IEEE Systems Conference","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125234637","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}

引用次数: 16

Function Mapping: A Sound Practice for System Design 功能映射:系统设计的良好实践

2008 2nd Annual IEEE Systems Conference Pub Date : 2008-04-07 DOI: 10.1109/SYSTEMS.2008.4519040

J. Moolenbeek

引用次数: 1

How Can We Make Our Customers Trust Our Systems? 我们如何让客户信任我们的系统?

2008 2nd Annual IEEE Systems Conference Pub Date : 2008-04-07 DOI: 10.1109/SYSTEMS.2008.4519033

S. Fukuda

{"title":"How Can We Make Our Customers Trust Our Systems?","authors":"S. Fukuda","doi":"10.1109/SYSTEMS.2008.4519033","DOIUrl":"https://doi.org/10.1109/SYSTEMS.2008.4519033","url":null,"abstract":"As the situations change very often and extensively today, the role of a user becomes increasingly important because it is he or she who really can understand the current situation and make decisions to cope with it. A user cannot operate machines or systems adequately if they cannot trust it. But formerly, machines and systems are very simple so that a user can expect how it would behave. But increasing complexity and diversification makes it more and more difficult. Software introduced the idea of continual prototyping and by evolving its functions step by step to a higher level after a user gets accustomed to it and build up trust in it. This paper points out that if we recall that most of the systems today are the combination of hardware and software, we might as well introduce the concept of continual prototyping into hardware- dominant systems. This would serve for a customer to build up trust more easily so that it is expected he or she can make decisions better and respond quicker and better. As hardware is physical, it has life. But software is non-physical so that it is eternal. If we consider that decommissioning of software is becoming a very big problem, we may utilize the phenomenon of deterioration as an indicator of the remaining life. Thus, if we put advantages of software and hardware together, we may come up with a system which will cancel the disadvantages each other so that it will increase user's confidence.","PeriodicalId":403208,"journal":{"name":"2008 2nd Annual IEEE Systems Conference","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126217548","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

Component selection strategies based on system requirements' dependencies on component attributes 基于系统需求对组件属性依赖的组件选择策略

2008 2nd Annual IEEE Systems Conference Pub Date : 2008-04-07 DOI: 10.1109/SYSTEMS.2008.4519027

G. Hamza-Lup, A. Agarwal, R. Shankar, C. Iskander

{"title":"Component selection strategies based on system requirements' dependencies on component attributes","authors":"G. Hamza-Lup, A. Agarwal, R. Shankar, C. Iskander","doi":"10.1109/SYSTEMS.2008.4519027","DOIUrl":"https://doi.org/10.1109/SYSTEMS.2008.4519027","url":null,"abstract":"Rapid increases in systems complexity have raised the need to exploit the \"design & reuse\" principle to its full potential. The proposed research is targeted towards component reuse, specifically towards component selection. We assume a component specification method has been chosen and a component library has been designed and built. The problem we address in this paper is choosing a subset of components from a library of components, such that the resulting integrated system satisfies certain requirements. Our proposed approach contains two main stages. First, we address those requirements that can help us reduce our search space and secondly, we perform an intelligent search in our reduced search space. In the second stage we apply a Greedy approach for selecting components from our reduced search space. The challenge here is assessing how well a certain component satisfies the performance requirements of the target system, as these performance requirements usually refer to the system as a whole and not to individual components. To address this challenge we focused on mapping system performance requirements onto component characteristics. We will illustrate our proposed approach for component selection with a simplified example of selecting the components for a 4x4 mesh-based NOC (Network-on-Chip) architecture.","PeriodicalId":403208,"journal":{"name":"2008 2nd Annual IEEE Systems Conference","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126970929","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}

引用次数: 16

The Role of System Behavior in Diagnostic Performance 系统行为在诊断性能中的作用

2008 2nd Annual IEEE Systems Conference Pub Date : 2008-04-07 DOI: 10.1109/SYSTEMS.2008.4519031

John K. Scully

引用次数: 3

A Research Agenda for Testing SOA-Based Systems 测试基于soa的系统的研究议程

2008 2nd Annual IEEE Systems Conference Pub Date : 2008-04-07 DOI: 10.1109/SYSTEMS.2008.4519032

T. Parveen, S. Tilley

{"title":"A Research Agenda for Testing SOA-Based Systems","authors":"T. Parveen, S. Tilley","doi":"10.1109/SYSTEMS.2008.4519032","DOIUrl":"https://doi.org/10.1109/SYSTEMS.2008.4519032","url":null,"abstract":"Service-oriented architecture (SOA) is a paradigm that organizes and uses distributed capabilities to bring together a technical solution to a business problem. The central concept of SOA revolves around modularized implementations of business logic known as services. SOA is different from traditional systems in that functional requirements are mapped to business process models and are implemented across different networked applications running on heterogeneous technologies and platforms. Services typically do not have user-accessible interfaces; instead, other applications invoke them programmatically in a message-based manner. One large barrier to the widespread adoption of SOA-based systems is testing. The common misconception for testing SOA-based systems is that it is little different than testing non-SOA systems. Therefore, when migrating existing systems to SOA or creating new SOA-based systems, project managers often pay much less attention to the testing process of these systems. This paper outlines a possible research agenda for testing SOA-based systems, focusing on three main areas: SOA governance, underlying technologies (such as Web services), and applying traditional testing strategies to SOA-based systems.","PeriodicalId":403208,"journal":{"name":"2008 2nd Annual IEEE Systems Conference","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122035994","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}

引用次数: 27

A Process Control System Model for Interactive Image Guided Surgery 交互式影像引导手术的过程控制系统模型

2008 2nd Annual IEEE Systems Conference Pub Date : 2008-04-07 DOI: 10.1109/SYSTEMS.2008.4518990

A. Beaulieu, T. Shepard, R. Ellis

{"title":"A Process Control System Model for Interactive Image Guided Surgery","authors":"A. Beaulieu, T. Shepard, R. Ellis","doi":"10.1109/SYSTEMS.2008.4518990","DOIUrl":"https://doi.org/10.1109/SYSTEMS.2008.4518990","url":null,"abstract":"Over the last decade, interactive image guided surgery (IIGS) has become one of the most important applications of computers in medicine. Through the interactive use of computer generated images from medical imaging and the estimated position of subcutaneous surgical instruments, the surgeon is able to perform surgery in conditions of obscuration or minimally invasive surgery without the constant use of medical imaging machinery (X-ray, MRI) in the operating room. These systems can also be used for the preoperative planning of surgical procedures and have been used to assist in the improvement of prostheses. IIGS has many benefits such as reduced recovery time for the patient and reduced stress on the surgeon as the surgical plan can be practiced ahead of time, recorded, and presented in the operating room. In the current literature, such systems were only analyzed and evaluated from limited perspectives. We review the state of the art in the analysis of IIGS systems and discuss the limitations of the models and methods that were used. We present a novel approach to model IIGS systems. We have developed our notation, modeling techniques and analysis methods so that they can be applied to domains other than surgical interactive systems.","PeriodicalId":403208,"journal":{"name":"2008 2nd Annual IEEE Systems Conference","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124956531","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}

引用次数: 8