Capturing Emergent Semantics from Social Annotation Systems

The ongoing growth of the World Wide Web, catalyzed by the increasing possibility of ubiquitous access via a variety of devices, continues to strengthen its role as our prevalent information and commmunication medium. However, although tools like search engines facilitate retrieval, the task of finally making sense of Web content is still often left to human interpretation. The vision of supporting both humans and machines in such knowledge-based activities led to the development of different systems which allow to structure Web resources by metadata annotations. Interestingly, two major approaches which gained a considerable amount of attention are addressing the problem from nearly opposite directions: On the one hand, the idea of the Semantic Web suggests to formalize the knowledge within a particular domain by means of the "top-down" approach of defining ontologies. On the other hand, Social Annotation Systems as part of the so-called Web 2.0 movement implement a "bottom-up" style of categorization using arbitrary keywords. Experience as well as research in the characteristics of both systems has shown that their strengths and weaknesses seem to be inverse: While Social Annotation suffers from problems like, e. g., ambiguity or lack or precision, ontologies were especially designed to eliminate those. On the contrary, the latter suffer from a knowledge acquisition bottleneck, which is successfully overcome by the large user populations of Social Annotation Systems. Instead of being regarded as competing paradigms, the obvious potential synergies from a combination of both motivated approaches to "bridge the gap" between them. These were fostered by the evidence of emergent semantics, i. e., the self-organized evolution of implicit conceptual structures, within Social Annotation data. While several techniques to exploit the emergent patterns were proposed, a systematic analysis - especially regarding paradigms from the field of ontology learning - is still largely missing. This also includes a deeper understanding of the circumstances which affect the evolution processes. This work aims to address this gap by providing an in-depth study of methods and influencing factors to capture emergent semantics from Social Annotation Systems. We focus hereby on the acquisition of lexical semantics from the underlying networks of keywords, users and resources. Structured along different ontology learning tasks, we use a methodology of semantic grounding to characterize and evaluate the semantic relations captured by different methods. In all cases, our studies are based on datasets from several Social Annotation Systems. Specifically, we first analyze semantic relatedness among keywords, and identify measures which detect different notions of relatedness. These constitute the input of concept learning algorithms, which focus then on the discovery of synonymous and ambiguous keywords. Hereby, we assess the usefulness of various clustering techniques. As a prerequisite to induce hierarchical relationships, our next step is to study measures which quantify the level of generality of a particular keyword. We find that comparatively simple measures can approximate the generality information encoded in reference taxonomies. These insights are used to inform the final task, namely the creation of concept hierarchies. For this purpose, generality-based algorithms exhibit advantages compared to clustering approaches. In order to complement the identification of suitable methods to capture semantic structures, we analyze as a next step several factors which influence their emergence. Empirical evidence is provided that the amount of available data plays a crucial role for determining keyword meanings. From a different perspective, we examine pragmatic aspects by considering different annotation patterns among users. Based on a broad distinction between "categorizers" and "describers", we find that the latter produce more accurate results. This suggests a causal link between pragmatic and semantic aspects of keyword annotation. As a special kind of usage pattern, we then have a look at system abuse and spam. While observing a mixed picture, we suggest that an individual decision should be taken instead of disregarding spammers as a matter of principle. Finally, we discuss a set of applications which operationalize the results of our studies for enhancing both Social Annotation and semantic systems. These comprise on the one hand tools which foster the emergence of semantics, and on the one hand applications which exploit the socially induced relations to improve, e. g., searching, browsing, or user profiling facilities. In summary, the contributions of this work highlight viable methods and crucial aspects for designing enhanced knowledge-based services of a Social Semantic Web.

Swamp buffalo keeping – an out-dated farming activity? A case study in smallholder farming systems in Xishuangbanna, Yunnan Province, PR China

Expansion of rubber tree plantations and agricultural mechanization caused a decline of swamp buffalo numbers in the Naban River National Nature Reserve (NRNNR), Yunnan Province, China. We analysed current use of buffaloes for field work and the recent development of the regional buffalo population, based on interviews with 184 farmers in 2007/2008 and discussions with 62 buffalo keepers in 2009. Three types of NRNNR farms were distinguished, differing mainly in altitude, area under rubber, and involvement in livestock husbandry. While pig based farms (PB; n=37) have abandoned buffalo keeping, 11% of the rubber based farms (RB; n=71) and 100% of the livestock-corn based farms (LB; n=76) kept buffaloes in 2008. Herd size was 2.5 +/-1.80 (n=84) buffaloes in early 2008 and 2.2 +/-1.69 (n=62) in 2009. Field work on own land was the main reason for keeping buffaloes (87.3 %), but lending work buffaloes to neighbours (79.0%) was also important. Other purposes were transport of goods (16.1%), buffalo trade (11.3%) and meat consumption (6.4%). Buffalo care required 6.2 +/-3.00 working hours daily, while annual working time of a buffalo was 294 +/-216.6 hours. The area ploughed with buffaloes remained constant during the past 10 years despite an expansion of land cropped per farm. Although further replacement of buffaloes by tractors occurs rapidly, buffaloes still provide cheap work force and buffer risks on poor NRNNR farms. Appropriate advice is needed for improved breeding management to increase the efficiency of buffalo husbandry and provide better opportunities for buffalo meat sale in the region.

Agroforestry systems of timber species and cacao: survival and growth during the early stages

In recent times, increased emphasis has been placed on diversifying the types of trees to shade cacao (Theobroma cacao L.) and to achieve additional services. Agroforestry systems that include profitable and native timber trees are a viable alternative but it is necessary to understand the growth characteristics of these species under different environmental conditions. Thus, timber tree species selection should be based on plant responses to biotic and abiotic factors. The aims of this study were (1) to evaluate growth rates and leaf area indices of the four commercial timber species: Cordia thaisiana, Cedrela odorata, Swietenia macrophylla and Tabebuia rosea in conjunction with incidence of insect attacks and (2) to compare growth rates of four Venezuelan Criollo cacao cultivars planted under the shade of these four timber species during the first 36 months after establishment. Parameters monitored in timber trees were: survival rates, growth rates expressed as height and diameter at breast height and leaf area index. In the four Cacao cultivars: height and basal diameter. C. thaisiana and C. odorata had the fastest growth and the highest survival rates. Growth rates of timber trees will depend on their susceptibility to insect attacks as well as to total leaf area. All cacao cultivars showed higher growth rates under the shade of C. odorata. Growth rates of timber trees and cacao cultivars suggest that combinations of cacao and timber trees are a feasible agroforestry strategy in Venezuela.

Socio-economic characterization of integrated cropping systems in urban and peri-urban agriculture of Faisalabad, Pakistan

Faisalabad city is surrounded by agricultural lands, where farmers are growing vegetables, grain crops, and fodder for auto-consumption and local marketing. To study the socioeconomic impact and resource use in these urban and peri-urban agricultural production (UPA) systems, a baseline survey was conducted during 2009–2010. A total of 140 households were selected using a stratified sampling method and interviewed with a structured questionnaire. The results revealed that 96 % of the households rely on agriculture as their main occupation. Thirty percent of the households were owners of the land and the rest cultivated either rented or sharecropped land. Most of the families (70 %) were headed by a member with primary education, and only 10 % of the household head had a secondary school certificate. Irrigationwater was obtained from waste water (37 %), canals (27 %), and mixed alternative sources (36 %). A total of 35 species were cultivated in the UPA systems of which were 65% vegetables, 15% grain and fodder crops, and 5% medicinal plants. Fifty-nine percent of the households cultivated wheat, mostly for auto-consumption. The 51 % of the respondents grew cauliflower (Brassica oleracea L.) and gourds (Cucurbitaceae) in the winter and summer seasons, respectively. Group marketing was uncommon and most of the farmers sold their produce at the farm gate (45 %) and on local markets (43 %). Seeds and fertilizers were available from commission agents and dealers on a credit basis with the obligation to pay by harvested produce. A major problem reported by the UPA farmers of Faisalabad was the scarcity of high quality irrigation water, especially during the hot dry summer months, in addition to lacking adequate quantities of mineral fertilizers and other inputs during sowing time. Half of the respondents estimated their daily income to be less than 1.25 US$ and spent almost half of it on food. Monthly average household income and expenses were 334 and 237 US$, respectively.

India’s Carbon Governance: The Clean Development Mechanism

Carbon Governance systems – institutional arrangements in place for mitigating greenhouse gas emissions – are different in emerging countries. Indeed, carbon is the same everywhere but Carbon Governance isn’t: in Brazil, the financial community is actively interested in carbon trading, but Chinese banks have hardly any interest in it; and while the Chinese government takes an active interest in providing capacity to project developers, the Brazilian authorities see their role uniquely as guarantors of environmental integrity of emissions reductions projects. In the case of India, carbon governance offers specific features of patterns and interactions mostly because India strongly developed the Clean Development Mechanism and its market. This article proposes a study to the research and understanding of how exactly carbon governance works in the Indian case, knowing that India is the second largest host of CDM projects.

Wastewater usage in urban and peri-urban agricultural production systems: scenarios from India

The role urban and peri-urban agriculture (UPA) plays in reducing urban poverty and ensuring environmental sustainability was recognized by the Millennium Development Goals (MGDs). India is the world’s largest democratic nation with a population of 1.2 billion. The rapid urbanization and high proportion of people below the poverty line along with higher migration to urban areas make India vulnerable to food crisis and urbanization of poverty. Ensuring jobs and food security among urban poor is a major challenge in India. The role of UPA can be well explained and understood in this context. This paper focuses on the current situation of UPA production in India with special attention to wastewater irrigation. This question is being posed about the various human health risks from wastewater irrigation which are faced by farmers and labourers, and, secondly by consumers. The possible health hazards involve microbial pathogens as well as helminth (intestinal parasites). Based on primary and secondary data, this paper attempts to confirm that UPA is one of the best options to address increasing urban food demand and can serve to complement rural supply chains and reduce ecological food prints in India. “Good practice urban and peri-urban agriculture” necessitates an integrated approach with suitable risk reduction mechanisms to improve the efficiency and safety of UPA production.

Smallholder pig production systems along a periurban-rural gradient in the Western provinces of the Democratic Republic of the Congo

In the Democratic Republic of the Congo (DRC), pigs are raised almost exclusively by smallholders either in periurban areas of major cities such as Kinshasa or in rural villages. Unfortunately, little information is available regarding pig production in the Western part of the DRC, wherefore a survey was carried out to characterize and compare 319 pig production systems in their management and feeding strategies, along a periurban - rural gradient inWestern provinces of the DRC. Pig breeding was the main source of income (43%) and half of respondents were active in mixed pig and crop production, mainly vegetable garden. Depending on the location, smallholders owned on average 18 pigs, including four sows. Piglet mortality rate varied from 9.5 to 21.8% while average weaned age ranged between 2.2 and 2.8 months. The major causes of mortality reported by the farmers were African swine fever 98 %, swine erysipelas (60 %), erysipelas trypanosomiasis (31 %), swine worm infection (17 %), and diarrhoea (12 %). The majority of the pigs were reared in pens without free roaming and fed essentially with locally available by-products and forage plants whose nature varied according with the location of the farm. The pig production systems depended on the local environment; particularly in terms of workforces, herd structure and characteristics, production parameters, pig building materials, selling price and in feed resources. It can be concluded that an improvement of Congolese pig production systems should consider (1) a reduction of inbreeding, (2) an improvement in biosafety to reduce the incidence of African swine fever and the spread of other diseases, and (3) an improvement in feeding practices.

Opportunities and constraints of peri-urban buffalo and dairy cattle systems in Faisalabad, Punjab, Pakistan

In the big cities of Pakistan, peri-urban dairy production plays an important role for household income generation and the supply of milk and meat to the urban population. On the other hand, milk production in general, and peri-urban dairy production in particular, faces numerous problems that have been well known for decades. Peri-urban dairy producers have been especially neglected by politicians as well as non-government-organizations (NGOs). Against this background, a study in Pakistan’s third largest city, Faisalabad (Punjab Province), was carried out with the aims of gathering basic information, determining major constraints and identifying options for improvements of the peri-urban milk production systems. For data collection, 145 peri-urban households (HH) engaged in dairy production were interviewed face to face using a structured and pretested questionnaire with an interpreter. For analyses, HH were classified into three wealth groups according to their own perception. Thus, 38 HH were poor, 95 HH well off and 12 HH rich (26.2%, 65.5% and 8.3%, respectively). The richer the respondents perceived their HH, the more frequently they were actually in possession of high value HH assets like phones, bank accounts, motorbikes, tractors and cars. Although there was no difference between the wealth groups with respect to the number of HH members (about 10, range: 1 to 23), the educational level of the HH heads differed significantly: on average, heads of poor HH had followed education for 3 years, compared to 6 years for well off HH and 8 years for rich HH. About 40% of the poor and well off HH also had off-farm incomes, while the percentage was much higher - two thirds (67%) - for the rich HH. The majority of the HH were landless (62%); the rest (55 HH) possessed agricultural land from 0.1 to 10.1 ha (average 2.8 ha), where they were growing green fodder: maize, sorghum and pearl millet in summer; berseem, sugar cane and wheat were grown in winter. Dairy animals accounted for about 60% of the herds; the number of dairy animals per HH ranged from 2 to 50 buffaloes (Nili-Ravi breed) and from 0 to 20 cows (mostly crossbred, also Sahiwal). About 37% (n=54) of the HH did not keep cattle. About three quarters of the dairy animals were lactating. The majority of the people taking care of the animals were family workers; 17.3% were hired labourers (exclusively male), employed by 11 rich and 32 well off HH; none of the poor HH employed workers, but the percentages were 33.7% for the well off and 91.7% for the rich HH. The total number of workers increased significantly with increasing wealth (poor: 2.0; well off:2.5; rich: 3.4). Overall, 69 female labourers were recorded, making up 16.8% of employed workers and one fourth of the HH’s own labourers. Apparently, their only duty was to clean the animals´ living areas; only one of them was also watering and showering the animals. Poor HH relied more on female workers than the other two groups: 27.1% of the workers of poor HH were women, but only 14.8% and 6.8% of the labour force of well off and rich HH were female. Two thirds (70%) of the HH sold milk to dhodis (middlemen) and one third (35%) to neighbours; three HH (2%) did doorstep delivery and one HH (1%) had its own shop. The 91 HH keeping both species usually sold mixed milk (97%). Clients for mixed and pure buffalo milk were dhodis (78%, respectively 59%) and neighbours (28%, respectively 47%). The highest milk prices per liter (Pakistani Rupees, 100 PKR @ 0.8 Euro) were paid by alternative clients (44 PKR; 4 HH), followed by neighbours (40 PKR, 50 HH); dhodis paid lower prices (36 PKR, 99 HH). Prices for pure buffalo and mixed milk did not differ significantly. However, HH obtaining the maximum price from the respective clients for the respective type of milk got between 20% (mixed milk, alternative clients) and 68% (mixed milk, dhodi) more than HH fetching the minimum price. Some HH (19%) reported 7% higher prices for the current summer than the preceding winter. Amount of milk sold and distance from the HH to the city center did not influence milk prices. Respondents usually named problems that directly affected their income and that were directly and constantly visible to them, such as high costs, little space and fodder shortages. Other constraints that are only influencing their income indirectly, e.g. the relatively low genetic potential of their animals due to neglected breeding as well as the short- and long-term health problems correlated with imbalanced feeding and insufficient health care, were rarely named. The same accounts for problems accompanying improper dung management (storage, disposal, burning instead of recycling) for the environment and human health. Most of the named problems are linked to each other and should be addressed within the context of the entire system. Therefore, further research should focus on systematic investigations and improvement options, taking a holistic and interdisciplinary approach instead of only working in single fields. Concerted efforts of dairy farmers, researchers, NGOs and political decision makers are necessary to create an economic, ecological and social framework that allows dairy production to serve the entire society. For this, different improvement options should be tested in terms of their impact on environment and income of the farmers, as well as feasibility and sustainability in the peri-urban zones of Faisalabad.

Evaluation of major feed resources in crop-livestock mixed farming systems, southern Ethiopia: Indigenous knowledge versus laboratory analysis results

Evaluation of major feed resources was conducted in four crop-livestock mixed farming systems of central southern Ethiopia, with 90 farmers, selected using multi-stage purposive and random sampling methods. Discussions were held with focused groups and key informants for vernacular name identification of feed, followed by feed sampling to analyse chemical composition (CP, ADF and NDF), in-vitro dry matter digestibility (IVDMD), and correlate with indigenous technical knowledge (ITK). Native pastures, crop residues (CR) and multi-purpose trees (MPT) are the major feed resources, demonstrated great variations in seasonality, chemical composition and IVDMD. The average CP, NDF and IVDMD values for grasses were 83.8 (ranged: 62.9–190), 619 (ranged: 357–877) and 572 (ranged: 317–743) g kg^(−1) DM, respectively. Likewise, the average CP, NDF and IVDMD for CR were 58 (ranged: 20–90), 760 (ranged: 340–931) and 461 (ranged: 285–637)g kg^(−1) DM, respectively. Generally, the MPT and non-conventional feeds (NCF, Ensete ventricosum and Ipomoea batatas) possessed higher CP (ranged: 155–164 g kg^(−1) DM) and IVDMD values (611–657 g kg^(−1) DM) while lower NDF (331–387 g kg^(−1) DM) and ADF (321–344 g kg^(−1) DM) values. The MPT and NCF were ranked as the best nutritious feeds by ITK while crop residues were the least. This study indicates that there are remarkable variations within and among forage resources in terms of chemical composition. There were also complementarities between ITK and feed laboratory results, and thus the ITK need to be taken into consideration in evaluation of local feed resources.

Optimising contributions of goat farming to household economic success and food security in three production systems in Ethiopia

The study aims to analyse factors affecting contributions of goat farming to household economic success and food security in three goat production systems of Ethiopia. A study was conducted in three districts of Ethiopia representing arid agro-pastoral (AAP), semi-arid agro-pastoral (SAAP) and highland mixed crop-livestock (HMCL) systems involving 180 goat keeping households. Gross margin (GM) and net benefit (NB1 and NB2) were used as indicators of economic success of goat keeping. NB1 includes in-kind benefits of goats (consumption and manure), while NB2 additionally constitutes intangible benefits (insurance and finance). Household dietary diversity score (HDDS) was used as a proxy indicator of food security. GM was significantly affected by an off-take rate and flock size interaction (P<0.001). The increment of GM due to increased off-take rate was more prominent for farmers with bigger flocks. Interaction between flock size and production system significantly (P<0.001) affected both NB1 and NB2. The increment of NB1 and NB2 by keeping larger flocks was higher in AAP system, due to higher in-kind and intangible benefits of goats in this system. Effect of goat flock size as a predictor of household dietary diversity was not significant (P>0.05). Nevertheless, a significant positive correlation (P<0.05) was observed between GM from goats and HDDS in AAP system, indicating the indirect role of goat production for food security. The study indicated that extent of utilising tangible and intangible benefits of goats varied among production systems and these differences should be given adequate attention in designing genetic improvement programs.

Changes of traditional farming systems and their effects on land degradation and socio-economic conditions in the Inle Lake region, Myanmar

At many locations in Myanmar, ongoing changes in land use have negative environmental impacts and threaten natural ecosystems at local, regional and national scales. In particular, the watershed area of Inle Lake in eastern Myanmar is strongly affected by the environmental effects of deforestation and soil erosion caused by agricultural intensification and expansion of agricultural land, which are exacerbated by the increasing population pressure and the growing number of tourists. This thesis, therefore, focuses on land use changes in traditional farming systems and their effects on socio-economic and biophysical factors to improve our understanding of sustainable natural resource management of this wetland ecosystem. The main objectives of this research were to: (1) assess the noticeable land transformations in space and time, (2) identify the typical farming systems as well as the divergent livelihood strategies, and finally, (3) estimate soil erosion risk in the different agro-ecological zones surrounding the Inle Lake watershed area. GIS and remote sensing techniques allowed to identify the dynamic land use and land cover changes (LUCC) during the past 40 years based on historical Corona images (1968) and Landsat images (1989, 2000 and 2009). In this study, 12 land cover classes were identified and a supervised classification was used for the Landsat datasets, whereas a visual interpretation approach was conducted for the Corona images. Within the past 40 years, the main landscape transformation processes were deforestation (- 49%), urbanization (+ 203%), agricultural expansion (+ 34%) with a notably increase of floating gardens (+ 390%), land abandonment (+ 167%), and marshlands losses in wetland area (- 83%) and water bodies (- 16%). The main driving forces of LUCC appeared to be high population growth, urbanization and settlements, a lack of sustainable land use and environmental management policies, wide-spread rural poverty, an open market economy and changes in market prices and access. To identify the diverse livelihood strategies in the Inle Lake watershed area and the diversity of income generating activities, household surveys were conducted (total: 301 households) using a stratified random sampling design in three different agro-ecological zones: floating gardens (FG), lowland cultivation (LL) and upland cultivation (UP). A cluster and discriminant analysis revealed that livelihood strategies and socio-economic situations of local communities differed significantly in the different zones. For all three zones, different livelihood strategies were identified which differed mainly in the amount of on-farm and off-farm income, and the level of income diversification. The gross margin for each household from agricultural production in the floating garden, lowland and upland cultivation was US$ 2108, 892 and 619 ha-1 respectively. Among the typical farming systems in these zones, tomato (Lycopersicon esculentum L.) plantation in the floating gardens yielded the highest net benefits, but caused negative environmental impacts given the overuse of inorganic fertilizers and pesticides. The Revised Universal Soil Loss Equation (RUSLE) and spatial analysis within GIS were applied to estimate soil erosion risk in the different agricultural zones and for the main cropping systems of the study region. The results revealed that the average soil losses in year 1989, 2000 and 2009 amounted to 20, 10 and 26 t ha-1, respectively and barren land along the steep slopes had the highest soil erosion risk with 85% of the total soil losses in the study area. Yearly fluctuations were mainly caused by changes in the amount of annual precipitation and the dynamics of LUCC such as deforestation and agriculture extension with inappropriate land use and unsustainable cropping systems. Among the typical cropping systems, upland rainfed rice (Oryza sativa L.) cultivation had the highest rate of soil erosion (20 t ha-1yr-1) followed by sebesten (Cordia dichotoma) and turmeric (Curcuma longa) plantation in the UP zone. This study indicated that the hotspot region of soil erosion risk were upland mountain areas, especially in the western part of the Inle lake. Soil conservation practices are thus urgently needed to control soil erosion and lake sedimentation and to conserve the wetland ecosystem. Most farmers have not yet implemented soil conservation measures to reduce soil erosion impacts such as land degradation, sedimentation and water pollution in Inle Lake, which is partly due to the low economic development and poverty in the region. Key challenges of agriculture in the hilly landscapes can be summarized as follows: fostering the sustainable land use of farming systems for the maintenance of ecosystem services and functions while improving the social and economic well-being of the population, integrated natural resources management policies and increasing the diversification of income opportunities to reduce pressure on forest and natural resources.

A Systems Approach to the Torque Control of a Permanent Magnet Brushless Motor

Many approaches to force control have assumed the ability to command torques accurately. Concurrently, much research has been devoted to developing accurate torque actuation schemes. Often, torque sensors have been utilized to close a feedback loop around output torque. In this paper, the torque control of a brushless motor is investigated through: the design, construction, and utilization of a joint torque sensor for feedback control; and the development and implementation of techniques for phase current based feedforeward torque control. It is concluded that simply closing a torque loop is no longer necessarily the best alternative since reasonably accurate current based torque control is achievable.

A FRAMEWORK FOR ACHIEVING LIFECYCLE VALUE IN AEROSPACE PRODUCT DEVELOPMENT

Creation of lifecycle value - a balance of performance with cost and other attributes - represents a challenge for the development of aerospace products in the twenty-first century. This paper examines the concept of lifecycle value that stems from existing approaches of value management and analysis, lifecycle costing, and systems engineering. To ascertain common characteristics of lifecycle value creation, case studies were done for four aircraft programs: F/A- 18E/F, JAS 39 Gripen, F-16C/D, and B-777. A lifecycle value creation framework is introduced, comprised of three phases: value identification, value proposition, value delivery. Based upon observed practices in the four case studies, six value creation attributes were identified. Capability maturity models for the six attributes and three value creation phases are presented. The resulting framework represents a starting point for programs seeking to create lifecycle value for aerospace products.

Lifecycle Value Framework for Tactical Aircraft Product Development

Due to a dramatic reduction in defense procurement, the benchmark for developing new defense systems today is performance at an affordable cost. In an attempt to encircle a more holistic perspective of value, lifecycle value has evolved as a concept within the Lean Aerospace Initiative, LAI. The implication of this is development of products incorporating lifecycle and long-term focus instead of a shortsighted cost cutting focus. The interest to reduce total cost of ownership while still improving performance, availability, and sustainability, other dimensions taken into account within the lifecycle value approach, falls well within this context. Several factors prevent enterprises from having a holistic perspective during product development. Some important aspects are increased complexity of the products and significant technological uncertainty. The combination of complexity in system design and the limits of individual human comprehension typically prevent a best value solution to be envisioned. The purpose of this research was to examine relative contributions in product development and determine factors that significantly promote abilities to consider and achieve lifecycle value. This paper contributes a maturity matrix based on important practices and lessons learned through extensive interview based case studies of three tactical aircraft programs, including experiences from more than 100 interviews.

Incremental Verification of Timing Constraints for Real-Time Systems

Testing constraints for real-time systems are usually verified through the satisfiability of propositional formulae. In this paper, we propose an alternative where the verification of timing constraints can be done by counting the number of truth assignments instead of boolean satisfiability. This number can also tell us how “far away” is a given specification from satisfying its safety assertion. Furthermore, specifications and safety assertions are often modified in an incremental fashion, where problematic bugs are fixed one at a time. To support this development, we propose an incremental algorithm for counting satisfiability. Our proposed incremental algorithm is optimal as no unnecessary nodes are created during each counting. This works for the class of path RTL. To illustrate this application, we show how incremental satisfiability counting can be applied to a well-known rail-road crossing example, particularly when its specification is still being refined.