Case Study about Formal and Informal Specifications through an Industrial
Abstract: In this paper, we discuss a case study in which we have taken a problem from industry and specified it both in B and UML. The object of our case study is the teletext module of a new generation TV. We have discussed our experience, and presented an analysis of both the specifications. We found that, in order to specify a real-time event-driven system, some amount of formality is necessary, which UML does not usually provide. Our industrial collaborators are considering changing their specification process basedon our findings.
Introduction: In this paper, we perform a comparative study of formal specifications and informal specifications. We have taken a medium size system from a project in industry, and have specified it both formally and informally. For the formal specification, we used B [Abr 96] as the specification language, and for the informal specification, we used UML [Boo 99]. Our most important conclusion is that UML is not sufficient to specify requirements, which may be complex and rigorous in nature. Some amount of formality is necessary to take care of particularly complex issues. Conversely we found that the UML was helpful for visualising the structure of the models compared with a formal specification. keep reading..
Background: Gringo’s short-term aims are to clothe Mozambican youth. Its long-term ambitions are to be a socially responsible company, leading by example to inspire a new generation of young people in Mozambique through innovative education and training programs, while enhancing the existing entrepreneurial climate in the country and striving to eradicate both hunger and poverty.
Branding: The beginning for Gringo was particularly challenging. The company was founded in a country without an established manufacturing or entrepreneurial history, and where raw materials were sparse and infrastructure dilapidated. Mozambique, however, has plentiful, often untapped human resources. Gringo’s first steps were therefore crucial, and they were: to establish a firm corporate brand identity and company structure; to identify its core market; and, to begin creating and procuring products. Click here to read more…
Background: Headquartered in the UK, with strategically sited production facilities around the world Aeon International Ltd is a leading designer and manufacturer of superior, advanced design valves for the water and gas industries. Through new generation valve technology Aeon offers a step-change in performance and is distinguished from other valve manufacturers by:…
Customer needs: Aeon’s products are designed in the UK, manufactured in China and, for the most part, distributed via their facilities in Poland and Dubai. One of Aeon’s essential requirements in selecting a certification partner was that it should be an organisation that could support them effectively and efficiently in all of these locations…
Click here to learn further about AEON International Ltd
Executive Summary: The San Francisco Public Utilities Commission (SFPUC) implemented a business process management and Workflow solution to drive change efforts across its organizations. The SFPUC deployed innovative ways to capture the baby boomers knowledge and transmit it to the new generation; without missing a step in service efficiency and quality, the SFPUC prepared itself for major challenges such as environmental preservation. Click here to read more…
Video can of course be stored digitally and then compressed and sent over the Internet, but this requires a camera operator to have a PC along with him to transmit the data. This will also usually involve the camera being connected to the computer, causing downtime where the operator is not filming. For live broadcasts this isn’t practical, especially when the news camera operator needs to keep rolling.
The new generation of cameras and industrial 3G cellular routers are the solution. The latest Sony professional cameras are capable of recording in parallel, writing one version to the internal disc media and a second copy onto a USB flash drive plugged in near the handle. Continue reading on Camera Crew
“The CELSIUS H910 proves itself as a real team player in practice: It integrates easily and quickly into existing infrastructures and supports the exchange and cooperation of the team with its communication strengths.” - Mirco Welsing, TMC GmbH.
TMC GmbH specializes in marketing, media and event services. The agency provides many well-known customers throughout Germany with business presentations and publications, mailing campaigns, product flyers and websites, plus planning and organization services for customer events and trade shows. It goes without saying that graphics play an important role in these kinds of marketing services. To ensure that its graphic designers had the best tools to support them in handling daily tasks, the agency was looking for a new generation of computer systems that could be used effectively as stationary workplaces and as mobile devices outside the office environment. Continue reading..
“Fujitsu’s ETERNUS DX was a convincing solution for our high demands in terms of reliability, performance and efficiency for storage management.“ - Hartmut Hahn, General Manager Information Systems, Corporate Division, Olympus.
In 1919 Olympus was founded in Japan and today stands for more than 90 years of pioneering spirit and innovation leadership. As an innovator of new technologies Olympus developed the first microscope in Japan as well as the world‘s first endoscope. The company has also played a leading role in manufacturing lightweight compact cameras and a new generation of mirrorless cameras. In order for Olympus to efficiently and effectively focus its innovative expertise on the market, the company needs a high-performance and extremely reliable IT infrastructure. Read further on Olympus
“Vascutek has always considered Scotland to be an excellent location from a business standpoint.” - Dr. Roshan Maini, President, Vascutek Ltd
Vascutek Ltd is part of the Japanese owned Terumo Corporation. The company markets a wide range of grafts for the treatment of diseased and damaged arteries. Grafts are marketed by the company in the UK and worldwide by various distributors and direct operations.The company is driven by an ethos of technical excellence, stringent quality control and total customer service…
Challenges: The main challenges facing the company are to expand the existing facility at Inchinnan through new product development and to increase sales in Europe, Japan and other export markets. Ongoing development of new generation, endovascular products is a particular technical challenge, yet one which must be pursued if the company is to continue to develop in the increasingly sophisticated, global, medical devices market place. View more on Vascutek Ltd
From California to Asia and beyond, communities are facing an unprecedented onslaught of proposals from waste treatment companies and entrepreneurs promoting a new generation of incineration technologies. Not since the waste industry tried to site hundreds of hazardous and solid waste incinerators in the United States in the late 1980’s and early 1990’s has there been such an intense effort to site new waste treatment facilities.
Today, many dozens of companies are promoting technologies such as pyrolysis, gasification, plasma arc, and catalytic cracking as a way to allegedly eliminate and “recycle” all types of waste into energy. Many of these companies falsely and boldly claim their technology is “pollution-free” and has “no emissions.” Aware of the public’s opposition to incineration, the companies promoting these technologies all claim these are not incinerators but are a “green” alternative to incineration. Find out more..
Discovery Place was one of the pioneering science and technology centers in the country. Its founder and guiding spirit was its President, Freda Nicholson, a “living legend” in the field and in the museum world in general. During her 20 years at the helm, Freda mentored and trained a new generation of leaders. Now she was retiring from Discovery Place, and in many minds, she was irreplaceable. The Board called upon Opportunity Resources to find her successor.iscovery Place was one of the pioneering science and technology centers in the country.
Its founder and guiding spirit was its President, Freda Nicholson, a “living legend” in the field and in the museum world in general. During her 20 years at the helm, Freda mentored and trained a new generation of leaders. Now she was retiring from Discovery Place, and in many minds, she was irreplaceable. The Board called upon Opportunity Resources to find her successor. Read further..