Pike L.,Galois, Inc. |
Wegmann N.,Copenhagen University |
Niller S.,Evertz Microsystems |
Innovations in Systems and Software Engineering | Year: 2013
Runtime verification (RV) is a natural fit for ultra-critical systems that require correct software behavior. Due to the low reliability of commodity hardware and the adversity of operational environments, it is common in ultra-critical systems to replicate processing units (and their hosted software) and incorporate fault-tolerant algorithms to compare the outputs, even if the software is considered to be fault-free. In this paper, we investigate the use of software monitoring in distributed fault-tolerant systems and the implementation of fault-tolerance mechanisms using RV techniques. We describe the Copilot language and compiler that generates monitors for distributed real-time systems, and we discuss two case-studies in which Copilot-generated monitors were used to detect onboard software and hardware faults and monitor air-ground data link messaging protocols. © 2013 Springer-Verlag London.
News Article | November 2, 2016
This report studies the global Channel-in-a-box (CiaB) market, analyzes and researches the Channel-in-a-box (CiaB) development status and forecast in United States, EU, Japan, China, India and Southeast Asia. This report focuses on the top players in global market, like Market segment by Application, Channel-in-a-box (CiaB) can be split into United States, EU, Japan, China, India and Southeast Asia Channel-in-a-box (CiaB) Market Size, Status and Forecast 2021 1 Industry Overview of Channel-in-a-box (CiaB) 1.1 Channel-in-a-box (CiaB) Market Overview 1.1.1 Channel-in-a-box (CiaB) Product Scope 1.1.2 Market Status and Outlook 1.2 Global Channel-in-a-box (CiaB) Market Size and Analysis by Regions 1.2.1 United States 1.2.2 EU 1.2.3 Japan 1.2.4 China 1.2.5 India 1.2.6 Southeast Asia 1.3 Channel-in-a-box (CiaB) Market by End Users/Application 1.3.1 Application 1 1.3.2 Application 2 1.3.3 Application 3 2 Global Channel-in-a-box (CiaB) Competition Analysis by Players 2.1 Channel-in-a-box (CiaB) Market Size (Value) by Players (2015-2016) 2.2 Competitive Status and Trend 2.2.1 Market Concentration Rate 2.2.2 Product/Service Differences 2.2.3 New Entrants 2.2.4 The Technology Trends in Future 3 Company (Top Players) Profiles 3.1 BroadStream Solutions 3.1.1 Company Profile 3.1.2 Main Business/Business Overview 3.1.3 Products, Services and Solutions 3.1.4 Channel-in-a-box (CiaB) Revenue (Value) (2011-2016) 3.1.5 Recent Developments 3.2 Grass Valley Canada 3.2.1 Company Profile 3.2.2 Main Business/Business Overview 3.2.3 Products, Services and Solutions 3.2.4 Channel-in-a-box (CiaB) Revenue (Value) (2011-2016) 3.2.5 Recent Developments 3.3 Harmonic 3.3.1 Company Profile 3.3.2 Main Business/Business Overview 3.3.3 Products, Services and Solutions 3.3.4 Channel-in-a-box (CiaB) Revenue (Value) (2011-2016) 3.3.5 Recent Developments 3.4 PlayBox Technology 3.4.1 Company Profile 3.4.2 Main Business/Business Overview 3.4.3 Products, Services and Solutions 3.4.4 Channel-in-a-box (CiaB) Revenue (Value) (2011-2016) 3.4.5 Recent Developments 3.5 Aveco 3.5.1 Company Profile 3.5.2 Main Business/Business Overview 3.5.3 Products, Services and Solutions 3.5.4 Channel-in-a-box (CiaB) Revenue (Value) (2011-2016) 3.5.5 Recent Developments 3.6 Avid Technology 3.6.1 Company Profile 3.6.2 Main Business/Business Overview 3.6.3 Products, Services and Solutions 3.6.4 Channel-in-a-box (CiaB) Revenue (Value) (2011-2016) 3.6.5 Recent Developments 3.7 Crispin Corporation 3.7.1 Company Profile 3.7.2 Main Business/Business Overview 3.7.3 Products, Services and Solutions 3.7.4 Channel-in-a-box (CiaB) Revenue (Value) (2011-2016) 3.7.5 Recent Developments 3.8 Dalet Digital Media Systems 3.8.1 Company Profile 3.8.2 Main Business/Business Overview 3.8.3 Products, Services and Solutions 3.8.4 Channel-in-a-box (CiaB) Revenue (Value) (2011-2016) 3.8.5 Recent Developments 3.9 Etere 3.9.1 Company Profile 3.9.2 Main Business/Business Overview 3.9.3 Products, Services and Solutions 3.9.4 Channel-in-a-box (CiaB) Revenue (Value) (2011-2016) 3.9.5 Recent Developments 3.10 Evertz Microsystems 3.10.1 Company Profile 3.10.2 Main Business/Business Overview 3.10.3 Products, Services and Solutions 3.10.4 Channel-in-a-box (CiaB) Revenue (Value) (2011-2016) 3.10.5 Recent Developments 3.11 Florical 3.12 HARDATA 3.13 IBIS 3.14 Imagine Communications 3.15 Konan Digital 3.16 Media-Alliance 3.17 Nverzion 3.18 Pebble Beach Systems 3.19 Pixel Power 3.20 Rascular 3.21 SI Media 3.22 Snell Advanced Media 3.23 VSN
News Article | November 8, 2016
Master control switchers are an essential part of television and video broadcast that aggregate programming feeds from different sources such as audio and video. Global emergence of broadcasting industry forced operational cost reduction and technological enhancements in the same, leading to invention of more efficient techniques of operation. Broadcast industry and master control switchers are considered to be cross-linked technically, as bulk of demand for the switchers comes from broadcasters, despite the fact that master control switchers help in making broadcasting process efficient and uncomplicated. Development of novel revenue generation models and existing trends of uninterrupted technological development in the broadcasting market are motivating industry players towards higher altitude of corporate activities. Broadcasters are required to deploy master control switchers that are able to support and transmit SD and HD video streams owing to the growth in requirement for HD quality content of key live television events. Factors such as development of innovative video compression techniques together with Moving Pictures Experts Group (MPEG), improved bandwidth availability and the consequential improvement in flexibility and advanced production speed are expected to boost the demand for digital video technology. The necessity for accessing premium priced content and streaming HD video layout highlighted the significance of master control switchers market globally. In addition, demand for enhanced quality live TV and gradually declining costs of digital media technologies are expected to provide a major drive to the switchers market. Regulations mandating shift to digital broadcast signals by 2012, globally are expected to boost the demand for broadcast switchers and in turn contributing to solutions for digital technology. During the forecast period, broadcasters’ decision to procure switching products would be primarily influenced by factors such as level of customer support, functionality, product pricing and interoperability. Healthy economic situations in emerging markets of India, South Korea and China have significantly strengthened projections of master control switchers in these areas. These budding economies are slating capabilities in HD transmission and digital technologies on a larger scale, leading to overall market strengthening. Conventionally, Europe and North America were considered as key markets for master control switchers, technological advancements and leading growth owing to emergence of digitalization in the broadcasting market. However, in the last few decades, these trends have radically shifted in support of the developing markets of Asia-Pacific. There was a fall in demand for master control switchers in revenue during the unstable global recession period between 2008 and 2009. Due to this, the developed markets of Europe and North America were badly affected, where low capital spending and budgetary restraints towards new investments led to descend in sales revenues. Postponed investment activities of broadcasters to HD quality content transmission and modify from analog to digital technologies among tight economic conditions were reasons that led to rigorously weakened demand for master control switchers. Key players in the master control switchers market include Evertz Microsystems, Ltd, Harris Corporation, Grass Valley USA, LLC, PESA, Miranda Technologies, Inc., Pixel Power, Inc., Utah Scientific, Inc and Snell Group. Key geographies evaluated in this report are:
Beygi A.,Evertz Microsystems |
Dounavis A.,University of Western Ontario
IEEE Transactions on Microwave Theory and Techniques | Year: 2012
This paper presents an efficient methodology to improve the convergence properties of vector fitting (VF) when the frequency data is contaminated by noise. The proposed algorithm uses an instrumental variable approach, which minimizes the biasing effect of the least squares solution caused by the noise of the data samples. These instruments are generated using the rational approximation of the previous iteration and does not increase the computational complexity of the VF algorithm. Numerical examples are provided to illustrate the validity of the proposed method. © 1963-2012 IEEE.
Roy S.,University of Western Ontario |
Beygi A.,Evertz Microsystems |
Dounavis A.,University of Western Ontario
IEEE Transactions on Electromagnetic Compatibility | Year: 2013
With the use of low powered devices, susceptibility of high-speed interconnects to electromagnetic interference (EMI) is becoming a critical aspect of signal integrity analysis. For modeling the EMI in time domain, commercial circuit simulators like SPICE typically use longitudinal segmentation methodologies to discretize the interconnect network. For long lines as found in printed circuit board or cables, a large number of longitudinal segments are required to capture the response of the network leading to inefficient simulations. In this study, a waveform relaxation (WR) algorithm for the efficient EMI analysis of multiconductor transmission line networks is presented. Techniques to compress the size of the subcircuits, reduce communication overheads, and accelerate the convergence of the WR iterations are provided. The overall algorithm is demonstrated to be highly parallelizable and exhibits good scaling with both the size of the network involved and the number of central processing units available. © 1964-2012 IEEE.
Dumitrescu S.,McMaster University |
Rivers G.,Evertz Microsystems |
Shirani S.,McMaster University
IEEE Transactions on Image Processing | Year: 2010
This paper presents a novel unequal erasure protection (UEP) strategy for the transmission of scalable data, formed by interleaving independently decodable and scalable streams, over packet erasure networks. The technique, termed multistream UEP (M-UEP), differs from the traditional UEP strategy by: 1) placing separate streams in separate packets to establish independence and 2) using permuted systematic ReedSolomon codes to enhance the distribution of message symbols amongst the packets. M-UEP improves upon UEP by ensuring that all received source symbols are decoded. The R-D optimal redundancy allocation problem for M-UEP is formulated and its globally optimal solution is shown to have a time complexity of O(2N N(L+1)N+1), where N is the number of packets and L is the packet length. To address the high complexity of the globally optimal solution, an efficient suboptimal algorithm is proposed which runs in O(N 2 L2) time. The proposed M-UEP algorithm is applied on SPIHT coded images in conjunction with an appropriate grouping of wavelet coefficients into streams. The experimental results reveal that M-UEP consistently outperforms the traditional UEP reaching peak improvements of 0.6 dB. Moreover, our tests show that M-UEP is more robust than UEP in adverse channel conditions. © 2010 IEEE.